Back to Results
First PageMeta Content
Data types / Program analysis / Type system / Software engineering / Logic in computer science / Dependently typed programming / Type theory / Programming language theory / Theoretical computer science


The
Trellys
Project
 Tim
Sheard
 Aaron
Stump
 Stephanie
Weirich
 Trellys

Add to Reading List

Document Date: 2014-06-03 10:59:23


Open Document

File Size: 69,47 KB

Share Result on Facebook
UPDATE