Notes concerning “Scheme”

• Why John Backus Was on the Wrong Track 2007 (updated 2019-05-05) (48 minutes)
• Enumerating binary trees and their elements 2007 to 2009 (4 minutes)
• Eur-Scheme: a simplified Ur-Scheme 2007 to 2009 (13 minutes)
• IRC bots with object-oriented equational rewrite rules 2007 to 2009 (6 minutes)
• Studies in Simplicity 2007 to 2009 (5 minutes)
• Separating implementation, optimization, and proofs 2019-06-26 (updated 2019-07-22) (41 minutes)
• A homoiconic language with a finite-map-based data model rather than lists? 2019-09-25 (updated 2019-09-28) (46 minutes)
• Immediate-mode PEG parsers in assembly language 2019-12-10 (updated 2019-12-11) (21 minutes)