|
174
|
A new approach to abstract syntax with variable binding
– Murdoch J. Gabbay, Andrew M. Pitts
- 2002
|
|
142
|
Nominal Logic: A First Order Theory of Names and Binding
– Andrew M. Pitts
- 2001
|
|
20
|
Nominal Logic Programming
– James Robert Cheney, James Robert Cheney, Ph. D
- 2004
|
|
19
|
The Complexity of Equivariant Unification
– James Cheney
|
|
46
|
Nominal Unification
– Christian Urban, Andrew Pitts, Murdoch Gabbay
- 2003
|
|
110
|
Mechanized metatheory for the masses: The POPLmark challenge
– Brian E. Aydemir, Aaron Bohannon, Matthew Fairbairn, J. Nathan Foster, Benjamin C. Pierce, Peter Sewell, Dimitrios Vytiniotis, Stephanie Weirich, Steve Zdancewic
- 2005
|
|
22
|
An overview of Cαml
– F Pottier
|
|
68
|
FreshML: Programming with Binders Made Simple
– Mark R. Shinwell, Andrew M. Pitts, Murdoch J. Gabbay
- 2003
|
|
19
|
A Simpler Proof Theory for Nominal Logic
– James Cheney
- 2005
|
|
15
|
A theory of inductive definitions with α-equivalence: Semantics, implementation, programming language
– M J Gabbay
- 2000
|
|
12
|
Nominal rewriting with name generation: abstraction vs. locality
– M FERNÁNDEZ, M GABBAY
|
|
271
|
A logic programming language with lambda-abstraction, function variables, and simple unification
– Dale Miller
- 1990
|
|
12
|
Nominal Rewriting Systems
– Maribel Fernández, Murdoch J Gabbay, Ian Mackie
- 2004
|
|
235
|
The Essence of Compiling with Continuations
– Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen
- 1993
|
|
15
|
Unification of higher-order patterns in linear time and space
– Z QIAN
- 1996
|
|
124
|
The undecidability of the second-order unification problem
– W D Goldfarb
- 1981
|
|
4
|
FreshML: Programmming with binders made simple
– M R Shinwell, A M Pitts, M J Gabbay
- 2003
|
|
997
|
The Lambda Calculus: its Syntax and Semantics
– H P Barendregt
- 1984
|
|
15
|
Scrap your Nameplate - Functional Pearl
– James Cheney
|
