Back to Results
First PageMeta Content
Type theory / International Conference on Functional Programming / Programming language theory / Homotopy type theory / Twelf / Dependent type / Logical framework / Functional programming / SIGPLAN / Programming language / Symposium on Principles of Programming Languages / Agda


Daniel R. Licata Personal Information: E-mail:
Add to Reading List

Open Document

File Size: 110,18 KB

Share Result on Facebook