Parametric Higher-Order Abstract Syntax for Mechanized Semantics - discu.eu

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

Linking pages

Bound - School of Haskell | School of Haskell https://www.schoolofhaskell.com/user/edwardk/bound 10 comments

Related searches:

Search whole site: site:adam.chlipala.net

Search title: Parametric Higher-Order Abstract Syntax for Mechanized Semantics

See how to search.

Submit link to: