Implementing Nominal Unification

Electronic Notes in Theoretical Computer Science

Volumn 176, Issue 1, 2007, Pages 25-37

  Calvès, Christophe ^a   Fernández, Maribel ^a  

^a KING'S COLLEGE LONDON   (United Kingdom)

Author keywords

Nominal Syntax; Termgraphs; Unification

Indexed keywords

ALGORITHMS; GRAPH THEORY; PROBLEM SOLVING;

NOMINAL SYNTAX; TERMGRAPHS; UNIFICATION;

COMPUTER SCIENCE;

EID: 34248599052     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2006.09.027     Document Type: Article

References (10)

1. J. Cheney. Relating nominal and higher-order pattern unification. Proceedings of UNIF 2005, p. 104-119
2. J. Cheney. Private communication, 2006
3. J. Cheney, C. Urban. AlphaProlog: A Logic Programming Language with Names, Binding and alpha-equivalence. ICLP 2004, p. 269-283
4. Fernández M., and Gabbay M. Nominal rewriting with name generation: Abstraction vs. locality. Proceedings of the 7th ACM-SIGPLAN Symposium on Principles and Practice of Declarative Programming. (PPDP'05), Lisbon, Portugal (2005), ACM Press
5. Fernández M., Gabbay M., and Mackie I. Nominal rewriting systems. Proceedings of the 6th ACM-SIGPLAN Symposium on Principles and Practice of Declarative Programming. (PPDP'04), Italy (2004), ACM Press
6. N. Gauthier, F. Pottier. Numbering matters: first-order canonical forms for second-order recursive types. Proceedings of the 2004 ACM SIGPLAN Int. Conf. on Functional Programming (ICFP'04), p. 150-161, 2004
7. Maude. http://maude.cs.uiuc.edu/
8. OCAML. http://caml.inria.fr/
9. Qian Z. Unification of Higher-order Patterns in Linear Time and Space. Journal of Logic and Computation 6 (1996) 315-341
10. Urban C., Pitts A.M., and Gabbay M.J. Nominal unification. Theoretical Computer Science 323 (2004) 473-497