Notes concerning “Scheme”
Why John Backus Was on the Wrong Track
2007 (updated 2019-05-05) (50 minutes)
Enumerating binary trees and their elements
2007 to 2009 (5 minutes)
Eur-Scheme: a simplified Ur-Scheme
2007 to 2009 (13 minutes)
IRC bots with object-oriented equational rewrite rules
2007 to 2009 (7 minutes)
Studies in Simplicity
2007 to 2009 (5 minutes)
Separating implementation, optimization, and proofs
2019-06-26 (updated 2019-07-22) (43 minutes)