Notes concerning “Backtracking”
More thoughts on powerful primitives for simplified computer systems architecture
2015-08-18 (updated 2015-11-02) (165 minutes)
Pattern matching and finite functions
2017-05-10 (14 minutes)