First Page | Document Content | |
---|---|---|
Date: 2016-01-02 15:47:17Computer 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 UniversityAdd to Reading ListSource URL: adam.chlipala.netDownload Document from Source WebsiteFile Size: 223,62 KBShare Document on Facebook |