Hacker Next
The Lisp in the Cellar: Dependent types that live upstairs [pdf]zenodo.org
88 points by todsacerdoti 12 days ago | 19 comments