Back to Results
First PageMeta Content
Type theory / Functional programming / Logic in computer science / Dependently typed programming / Data types / International Conference on Functional Programming / Dependent type / ICFP Programming Contest / POPLmark challenge / Software engineering / Computing / Programming language theory


Stephanie Weirich School of Engineering and Science, University of Pennsylvania Levine 510, 3330 Walnut St, Philadelphia, PA 19104  •  • October 10, 2014 Education
Add to Reading List

Document Date: 2014-10-10 11:35:35

Open Document

File Size: 87,75 KB

Share Result on Facebook
UPDATE