Mon Jul 20 2020 SchemeCLua The Many Faces of an Undying Programming Language Jakob's Personal Webpage
Mon Apr 10 2023 SchemeCZFS What I've Learned About Formal Methods In Half a Year Jakob's Personal Webpage
Fri Jun 08 2018 RustCPython First Impressions of the Rust Programming Language Jakob's Personal Webpage
Sun Apr 15 2018 Haskell Reimplementing Hackett’s type language: expanding to custom core forms in Racket Alexis King’s Blog