A Functional Theory of Local Names (1994)

by Martin Odersky
Citations:31 - 2 self

Documents Related by Co-Citation

119 On the Observable Properties of Higher Order Functions that Dynamically Create Local Names (preliminary report) – Andrew Pitts, Ian Stark - 1993
36 An Extension to ML to Handle Bound Variables in Data Structures – Dale Miller - 1990
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
99 Toward fully abstract semantics for local variables – Albert R Meyer, Kurt Sieber - 1988
24 Static name control for FreshML – François Pottier - 2007
88 A Metalanguage for Programming with Bound Names Modulo Renaming – Andrew M. Pitts, Murdoch J. Gabbay - 2000
123 Primitive Recursion for Higher-Order Abstract Syntax – Joëlle Despeyroux, Frank Pfenning - 1997
142 Abstract syntax and variable binding – M P Fiore, G D Plotkin, D Turi - 1999
395 LCF considered as a programming language – G Plotkin - 1977
239 The Lazy Lambda Calculus – Samson Abramsky - 1990
38 Assignments for applicative languages – Vipin Swarup, Uday S. Reddy, Evan Ireland, Palmerston North - 1991
46 Fully abstract models of typed -calculi – R Milner - 1977
255 The Revised Report on the Syntactic Theories of Sequential Control and State – Matthias Felleisen, Matthias Felleisen, Robert Hieb, Robert Hieb - 1992
267 Semantics of Programming Languages: Structures and Techniques. Foundations of Computing Series – C Gunter - 1992
102 Parametricity and Local Variables – P. W. O'hearn, R. D. Tennent - 1995
185 A Modal Analysis of Staged Computation – Rowan Davies, Frank Pfenning - 1996
730 Notions of Computation and Monads – Eugenio Moggi - 1991
14 Full Abstraction for the Second Order Subset of an ALGOL-like Language – Kurt Sieber - 1994