A Metalanguage for Programming with Bound Names Modulo Renaming (2000)

Cached

Download Links

by Andrew M. Pitts , Murdoch J. Gabbay
Venue:Mathematics of Program Construction, volume 1837 of Lecture Notes in Computer Science
Citations:88 - 15 self

Documents Related by Co-Citation

146 A New Approach to Abstract Syntax Involving Binders – Murdoch Gabbay, Andrew Pitts - 1999
207 A new approach to abstract syntax with variable binding – Murdoch J. Gabbay, Andrew M. Pitts - 2002
161 Nominal Logic: A First Order Theory of Names and Binding – Andrew M. Pitts - 2001
96 Semantical analysis of higher-order abstract syntax – M Hofmann - 1999
185 A Modal Analysis of Staged Computation – Rowan Davies, Frank Pfenning - 1996
302 Higher-order abstract syntax – F Pfenning, C Elliott - 1988
78 FreshML: Programming with Binders Made Simple – Mark R. Shinwell, Andrew M. Pitts, Murdoch J. Gabbay - 2003
36 An Extension to ML to Handle Bound Variables in Data Structures – Dale Miller - 1990
32 Closed Types for a Safe Imperative MetaML – C. Calcagno, E. Moggi, T. Sheard - 2001
239 MetaML and Multi-Stage Programming with Explicit Annotations – Walid Taha, Tim Sheard - 1999
142 Abstract syntax and variable binding – M P Fiore, G D Plotkin, D Turi - 1999
123 Primitive Recursion for Higher-Order Abstract Syntax – Joëlle Despeyroux, Frank Pfenning - 1997
43 M.F.: Environment classifiers – W Taha, Nielsen - 2003
605 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David Macqueen - 1997
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
41 Higher-order abstract syntax in Coq – Joëlle Despeyroux, Amy Felty, André Hirschowitz - 1995
64 Structural Cut Elimination – Frank Pfenning - 1995
34 Meta-Programming with Names and Necessity – Aleksandar Nanevski, Frank Pfenning - 2002
52 Nominal Unification – Christian Urban, Andrew Pitts, Murdoch Gabbay - 2003