Links

SML

Functional programming and lambda calculus

Emacs

Unix