|
2
|
A two-level logic approach to reasoning about computations
– Andrew Gacek , Dale Miller, Gopalan Nadathur
|
|
4
|
The Expressive Power of Structural Operational Semantics with Explicit Assumptions
– Marino Miculan
|
|
3
|
Object-Level Substitution, Unification And Generalization In Meta-Logic
– Chuck C. Liang
- 1995
|
|
40
|
Natural Semantics and Some of its Meta-Theory in Elf
– Spiro Michaylov, Frank Pfenning, Im Stadtwald
- 1991
|
|
|
Trustworthy Translation for the Requirements State Machine Language without Events
– Michael William Whalen
- 2005
|
|
27
|
Computation and Deduction
– Frank Pfenning
- 2001
|
|
33
|
A Proof of the Church-Rosser Theorem and its Representation in a Logical Framework
– Frank Pfenning
- 1992
|
|
32
|
Implementing the Meta-Theory of Deductive Systems
– Frank Pfenning, Ekkehard Rohwedder
- 1992
|
|
203
|
A Linear Logical Framework
– Iliano Cervesato, Frank Pfenning
- 1996
|
|
271
|
A logic programming language with lambda-abstraction, function variables, and simple unification
– Dale Miller
- 1990
|
|
4
|
A study of syntactic and semantic artifacts and its application to lambda definability, strong normalization, and weak normalization in the presence of state
– Johan Munk
- 2008
|
|
|
The Australian National University
– Alwen Tiu, Dale Miller
|
|
21
|
Correspondence between Operational and Denotational Semantics
– C. -h. L. Ong
- 1995
|
|
148
|
Dynamic Typing in a Statically Typed Language
– Martín Abadi, Luca Cardelli, Benjamin Pierce, Gordon Plotkin
- 1989
|
|
|
Décrire Et Comparer Les Implantations De Langages Fonctionnels
– Rémi Douence, Pascal Fradet
- 1996
|
|
10
|
A Taxonomy of Functional Language Implementations Part II: Call-by-Name, Call-by-Need and Graph Reduction
– Rémi Douence , Pascal Fradet
- 1996
|
|
20
|
Functional Back-Ends within the Lambda-Sigma Calculus
– Thérèse Hardin, Luc Maranget, Bruno Pagano
- 1996
|
|
23
|
A rational deconstruction of Landin’s SECD machine
– Olivier Danvy, Kevin Millikin
- 2004
|
|
|
A Little Goes a Long Way: A Simple Tool to Support Denotational Compiler-Correctness Proofs
– Mitchell Wand, Mitchell W, Gregory T. Sullivan
|
