Christian Kjær Larsen
Me
Articles
Blog
Articles
Here you can some of the work I have done:
Declarative contracts
SOAC's in Coq
bake - a make-like utility