A definitional approach to primitivexs recursion over higher order abstract syntax - researchr publication related

researchr

You are not signed in
Sign in
Sign up

S. J. Ambler, Roy L. Crole, Alberto Momigliano. A definitional approach to primitivexs recursion over higher order abstract syntax. In Eighth ACM SIGPLAN International Conference on Functional Programming, Workshop on Mechanized reasoning about languages with variable binding, MERLIN 2003, Uppsala, Sweden, August 2003. ACM, 2003. [doi]

The following publications are possibly variants of this publication:

Hybrid: A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract SyntaxAmy P. Felty, Alberto Momigliano. corr, abs/0811.4367, 2008. [doi]

runs on WebDSL