parametric higher-order abstract syntax for mechanized semantics - discu.eu

Reddit

Parametric Higher-Order Abstract Syntax for Mechanized Semantics http://lambda-the-ultimate.org/node/2853 7 comments 18/6/2008 programming

Lambda the Ultimate

Parametric Higher-Order Abstract Syntax for Mechanized Semantics http://adam.chlipala.net/papers/PhoasICFP08/ 1 comment 16/6/2008 Functional , Implementation , Type Theory