Common Lisp

Practical Common Lisp
Clozure CL
SLIME demovideo
SLIME homepage
Common Lisp the Language, 2nd Edition
On Lisp av Paul Graham

Scheme

Structure and Interpretation of Computer Programs
Jscheme av Peter Norvig
R5RS
R6RS

Coq

Software Foundations
CIS 500
Certified Programming with Dependent Types
Interactive Computer Theorem Proving
POPL08 Coq Tutorial
Oregon Programming Languages Summer School 2012

Kompilatorer og tolkerer og lignende

Readscheme
Lambda the Ultimate
Programming Languages: Application and Interpretation
Memory Management Papers av Kathryn McKinley
The Garbage Collection Page av Richard Jones
Programming Languages: Application and Interpretation by Shriram Krishnamurthi

Transactional Memory

Transactional Memory Bibliography

C og IA32

IA32 manualer

Annet

IMF RSPM Mk IV
GAS documentation
SQLite kildekode
Lions' Commentary on UNIX 6th Edition, with Source Code
OpenSSH kildekode
Liten Lambda Calculs bok
Foundations of Databasese
The Architecture of Open Source Applications
Bellard
Great Works in Programming Languages Bibliography

Valid XHTML 1.0 Strict