Active Bibliography

7 Primitive recursion for higher order abstract syntax – Joëlle Despeyroux, Frank Pfenning, Carsten Schürmann - 1996
80 Automating the Meta Theory of Deductive Systems – Carsten Schurmann, Dana Scott - 2000
23 The ∇-calculus. Functional programming with higher-order encodings – Carsten Schürmann, Adam Poswolsky, Jeffrey Sarnat - 2005
16 A Logic Programming Approach to Implementing Higher-Order Term Rewriting – Amy Felty - 1992
53 Tagless Staged Interpreters for Typed Languages – Emir Pasalic, Walid Taha, Tim Sheard - 2002
3 Object-Level Substitution, Unification And Generalization In Meta-Logic – Chuck C. Liang - 1995
5 A Comparison of Formalizations of the Meta-Theory of a Language with Variable Bindings in Isabelle – A. Momigliano, S. J. Ambler, R. L. Crole - 2001
6 On the formalization of the modal µ-calculus in the Calculus of Inductive Constructions – Marino Miculan - 2000
44 Natural Semantics and Some of its Meta-Theory in Elf – Spiro Michaylov, Frank Pfenning - 1991
A Meta-Logical Framework Based on Realizability – Carsten Schürmann - 2000
32 Mode and Termination Checking for Higher-Order Logic Programs – Ekkehard Rohwedder, Frank Pfenning - 1996
Meta-Programming With Intensional Analysis – Tim Sheard, Zine El-abidine Benaissa
3 A Computational Meta Logic for the Horn Fragment of LF – Carsten Schürmann - 1995
1 A temporal-logic approach to programming with dependent types and higher-order encodings – Adam Poswolsky, Carsten Schürmann - 2005
215 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
14 A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax – Amy Felty, Alberto Momigliano - 2010
23 Nominal logic programming – James Cheney, Christian Urban - 2006
A Meta-Logical Framework Based on Regular Worlds – Carsten Schürmann - 2000
34 Meta-Programming with Names and Necessity – Aleksandar Nanevski, Frank Pfenning - 2002