-
Resumable exceptions
- November 4, 2024
-
Subtyping and subsumption
- October 21, 2024
-
OOP is not that bad, actually
- October 9, 2024
-
My thoughts on OCaml
- April 24, 2023
-
Fast polymorphic record access
- January 23, 2023
-
Products and sums, named and anonymous
- April 10, 2021
-
Proving soundness of simply typed multi-staged lambda-calculus
- March 6, 2014
-
Internship report - type inference, row polymorphism, and multi-stage programming
- April 15, 2013