osa1
github
about
atom
A learning system that is as fast as a static one
-
August 16, 2015
On sufficiently smart compilers
-
August 9, 2015
Staging is not just code generation
-
May 17, 2015
Compilation through interpretation, a small experiment
-
May 13, 2015
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