Back to Results
First PageMeta Content
Type theory / Dependently typed programming / Functional languages / Logic in computer science / Lambda calculus / Calculus of constructions / Generalized algebraic data type / Monad / Curry–Howard correspondence / Software engineering / Declarative programming / Programming language theory


AURA: Preliminary Technical Results University of Pennsylvania Technical Report MS-CISApril 17, 2008 Limin Jia
Add to Reading List

Document Date: 2014-11-11 20:30:18

Open Document

File Size: 219,68 KB

Share Result on Facebook
UPDATE