Programmatic generation of high-quality CVs

papers of Per Martin Löf

A course on homotopy theory and type theory, taught jointly with Jaka Smrekar

A Window Manager Toolkit for Guile Scheme

Library of the ##dependent distributed research support group

The source for "Compiling with Dependent Types" (my dissertation)

Mechanizing Types and Programming Languages using Beluga