A Functional Theory of Local Names (1994)

by Martin Odersky
Citations:31 - 2 self

Active Bibliography

4 Note on Algol and Conservatively Extending Functional Programming – Peter O'Hearn - 1995
20 Correctness of Monadic State: An Imperative Call-by-Need Calculus – Zena M. Ariola, Amr Sabry - 1998
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
19 Isolating Side Effects in Sequential Languages – Jon G. Riecke, Ramesh Viswanathan - 1995
13 Rolling Your Own Mutable ADT --- A Connection between Linear Types and Monads --- – Chih-ping Chen, Paul Hudak - 1997
48 A Variable Typed Logic of Effects – Furio Honsell, Ian A. Mason, Scott Smith, Carolyn Talcott - 1993
14 What is a Purely Functional Language? – Amr Sabry - 1998
14 Full Abstraction for the Second Order Subset of an ALGOL-like Language – Kurt Sieber - 1994
31 Implicit and Explicit Parallel Programming in Haskell – Mark P. Jones, Paul Hudak - 1993
34 Functional Nets – Martin Odersky - 2000
16 Objects, Interference, and the Yoneda Embedding – Peter W. O'Hearn, Uday S. Reddy - 1995
96 How to Declare an Imperative – Philip Wadler - 1995
12 Reasoning about Explicit and Implicit Representations of State – Amr Sabry , John Field - 1993
16 Monadic Encapsulation in ML – Miley Semmelroth, Amr Sabry - 1999
Doctor Thesis LABEL-SELECTIVE LAMBDA-CALCULI AND TRANSFORMATION CALCULI – unknown authors - 1994
Applying π: Towards a Basis for Concurrent Imperative Programming – Martin Odersky - 1995
8 Abstract Models of Storage – Robert D. Tennent, Dan R. Ghica - 2000
58 Relational reasoning in a nominal semantics for storage – Nick Benton, Benjamin Leperchey - 2005
29 Domains and Denotational Semantics: History, Accomplishments and Open Problems – Marcelo Fiore, Achim Jung, Eugenio Moggi, Peter O'Hearn, Jon Riecke, Giuseppe Rosolini, Ian Stark - 1996