Active Bibliography

2 Directly reflective meta-programming – Aaron Stump - 2008
12 A Computational Approach to Reflective Meta-Reasoning about Languages with Bindings – Aleksey Nogin, Alexei Kopylov, Xin Yu, Jason Hickey - 2005
20 How to Believe a Machine-Checked Proof – Robert Pollack - 1997
10 Reflecting proofs in first-order logic with equality – Evelyne Contejean, Pierre Corbineau - 2005
2 A verified runtime for a verified theorem prover – Magnus O. Myreen, Jared Davis
Editorial – unknown authors
Chapter II Automated Reasoning – Tudor Jebelean, Bruno Buchberger, Temur Kutsia, Nikolaj Popov, Wolfgang Schreiner, Wolfgang Windsteiger
Retrieval and Structuring of . . . – Camelia Rosenkranz - 2009
9 Solving Equations Involving Sequence Variables and Sequence Functions – Temur Kutsia - 2004
1 Computing and Proving with Integro-Differential Polynomials in Theorema – Loredana Tec
7 Reflecting higher-order abstract syntax in NuPRL – Eli Barzilay, Stuart Allen - 2002
10 Programming With Types – Stephanie Claudene Weirich - 2002
A Review of Three Techniques for Formally Representing Variable Binding – Jeffrey A. Vaughan - 2006
1 Implementing Certified Programming Language Tools Dependent Type Theory – Adam James Chlipala, Adam James Chlipala - 2007
The Australian National University – Alwen Tiu, Dale Miller
3 Object-Level Substitution, Unification And Generalization In Meta-Logic – Chuck C. Liang - 1995
1 Distributed Meta-Programming ∗ – Chiyan Chen, Rui Shi, Hongwei Xi - 2004
12 A Notation for Lambda Terms II: Refinements and Applications – Gopalan Nadathur - 1994
14 Implementation Considerations for Higher-Order Features in Logic Programming – Gopalan Nadathur, Bharat Jayaraman, Debra Sue Wilson - 1993