Back to Results
First PageMeta Content
Computer programming / Declarative programming / Software engineering / Exponentials / Dependently typed programming / Higher-order abstract syntax / Logic programming / Programming language theory / Type theory / Exponentiation / Monad / ?:


Parametric Higher-Order Abstract Syntax for Mechanized Semantics Adam Chlipala Harvard University
Add to Reading List

Document Date: 2016-01-02 15:47:17


Open Document

File Size: 223,62 KB

Share Result on Facebook
UPDATE