Alpha-Prolog: A Logic Programming Language with Names, Binding, and Alpha-Equivalence (2004)

by James Cheney , Christian Urban
Citations:35 - 9 self

Documents Related by Co-Citation

161 Nominal Logic: A First Order Theory of Names and Binding – Andrew M. Pitts - 2001
207 A new approach to abstract syntax with variable binding – Murdoch J. Gabbay, Andrew M. Pitts - 2002
52 Nominal Unification – Christian Urban, Andrew Pitts, Murdoch Gabbay - 2003
23 Nominal logic programming – James Cheney, Christian Urban - 2006
21 The Complexity of Equivariant Unification – James Cheney
136 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
302 Higher-order abstract syntax – F Pfenning, C Elliott - 1988
23 An overview of Cαml – François Pottier - 2006
20 A Simpler Proof Theory for Nominal Logic – James Cheney - 2005
7 Relating Nominal and Higher-Order Pattern Unification – James Cheney - 2005
14 Nominal Rewriting with Name Generation: Abstraction vs – M Fernández, M J Gabbay
88 A Metalanguage for Programming with Bound Names Modulo Renaming – Andrew M. Pitts, Murdoch J. Gabbay - 2000
17 Scrap your Nameplate - Functional Pearl – James Cheney
291 A logic programming language with lambda-abstraction, function variables, and simple unification – Dale Miller - 1990
15 Unification of higher-order patterns in linear time and space – Zhenyu Qian - 1996
5 M.J.Gabbay. FreshML: Programmming with binders made simple – M R Shinwell, A M Pitts - 2003
327 Foundations of Programming Languages – J C Mitchell - 1996
6 Permissive nominal terms and their unification – Gilles Dowek, Murdoch J. Gabbay, Dominic Mulligan
56 Acute: High-level programming language design for distributed computation – Peter Sewell, James J. Leifer, Keith Wansbrough, Mair Allen-williams, Pierre Habouzit, Viktor Vafeiadis - 2004