1 result found Sort:

ilya-klyuchnikov
ttlite ilya-klyuchnikov
9
120
unknown
10
A SuperCompiler for Martin-Löf's Type Theory
coq agda idris type-theory dependent-types supercompilation programming-language
Created 2013-10-15
527 commits to master branch, last one 2 years ago