On the Observable Properties of Higher Order Functions that Dynamically Create Local Names (preliminary report) (1993)

by Andrew Pitts , Ian Stark
Venue:IN MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE, PROC. 18TH INT. SYMP
Citations:119 - 13 self

Documents Related by Co-Citation

99 Toward fully abstract semantics for local variables – Albert R Meyer, Kurt Sieber - 1988
102 Parametricity and Local Variables – P. W. O'hearn, R. D. Tennent - 1995
161 The essence of Algol – J C Reynolds - 1981
730 Notions of Computation and Monads – Eugenio Moggi - 1991
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
111 Operational Reasoning for Functions With Local State – Andrew Pitts, Ian Stark
55 Names and Higher-Order Functions – I D B Stark - 1994
99 Relational Properties of Domains – Andrew M. Pitts - 1996
365 Types, abstraction and parametric polymorphism – J C Reynolds - 1983
292 Abstract types have existential types – J C Mitchell, G D Plotkin - 1988
255 The Revised Report on the Syntactic Theories of Sequential Control and State – Matthias Felleisen, Matthias Felleisen, Robert Hieb, Robert Hieb - 1992
112 Equivalence in Functional Languages with Effects – Ian Mason, Carolyn Talcott - 1991
55 From Algol to Polymorphic Linear Lambda-calculus – Peter W. O'Hearn, John C. Reynolds - 1997
783 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
122 Formal Parametric Polymorphism – Martin Abadi , Luca Cardelli, Pierre-Louis Curien - 1993
34 Relational interpretations of recursive types in an operational setting – Lars Birkedal, Robert Harper - 1997
224 Manifest Types, Modules, and Separate Compilation – Xavier Leroy - 1994
44 A Category-Theoretic Approach to the Semantics of Programming Languages – F J Oles - 1982
200 Type systems – Luca Cardelli, Jim Donahue, Mick Jordan, Bill Kalsow, Greg Nelson - 1997