Tony Finch's link log

• 2007-01-29: Definitional interpreters for higher-order programming languages. (long) (short) (atom) (wayback machine)