Notes concerning “OCaml”
Why John Backus Was on the Wrong Track
2007 (updated 2019-05-05) (48 minutes)
Using bytecode won’t make your interpreter fast
2007 to 2009 (26 minutes)
OMeta contains Wadler's "Views"
2007 to 2009 (updated 2019-05-20) (13 minutes)
bytecode interpreters for tiny computers
2007-09 (61 minutes)
Simple system language
2013-05-17 (7 minutes)
Pattern matching and finite functions
2017-05-10 (14 minutes)
B-Tree ropes
2019-09-24 (updated 2019-09-25) (19 minutes)
A homoiconic language with a finite-map-based data model rather than lists?
2019-09-25 (updated 2019-09-28) (46 minutes)