Tony Finch's link log
2007-01-29: Definitional interpreters for higher-order programming languages.
(long)
(short)
(atom)
(wayback machine)