Posts
- 2023-09-30 - Implementing kind inference
- 2023-07-08 - Why I like JavaScript as a compilation target
- 2021-04-13 - Typing polymorphic variants in Giml
- 2021-04-10 - Typing extensible records in Giml
- 2021-04-06 - Giml's type inference engine
- 2021-02-11 - Live coding a compiler
- 2019-03-14 - Compilers and Haskell
- 2016-10-14 - Compiling Lisp to JavaScript from scratch in 350 LOC