osa1
github
gitlab
twitter
cv
rss
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