Imperative Lambda Calculus Revisited (1997)

Cached

Download Links

by Hongseok Yang , Uday Reddy
Citations:3 - 1 self

Documents Related by Co-Citation

40 Syntactic Control of Interference Revisited – P. W. O'hearn, A. J. Power, M. Takeyama, R. D. Tennent - 1995
131 On the syntactic control of interference – J Reynolds - 1978
127 types can change the world – Linear - 1990
194 The Logic of Bunched Implications – Peter W. O'Hearn, David J. Pym - 1999
3 Type reconstruction for SCI – Howard Huang, Uday Reddy - 1996
4 Types and Effects--Towards the Integration of Functional and Imperative Programming – John M Lucassen - 1987
42 Unification and ML Type Reconstruction – Paris C. Kanellakis, Harry G. Mairson, John C. Mitchell - 1991
88 Is there a use for linear logic? – Philip Wadler - 1991
327 Foundations of Programming Languages – J C Mitchell - 1996
35 Global state considered unnecessary: An introduction to object-based semantics – Uday Reddy - 1996
1312 Monads for functional programming – Philip Wadler - 1995
152 The Type and Effect Discipline – Jean-Pierre Talpin, Pierre Jouvelot - 1992
238 Polymorphic effect systems – John M. Lucassen, David K. Gifford - 1988
38 Assignments for applicative languages – Vipin Swarup, Uday S. Reddy, Evan Ireland, Palmerston North - 1991
12 A type system for a lambda calculus with assignments – Kung Chen, Martin Odersky - 1994
1 Heap bounded functional programming in Java. Implementation experiments – David Aspinall, Martin Hofmann - 2001
7 Mooly Sagiv, and Thomas Reps. Shape analysis – Reinhard Wilhelm - 2000
22 Observers for Linear Types – Martin Odersky - 1992
8 A Uniform Treatment of Order of Evaluation and Aggregate Update – M. Draghicescu, S. Purushothaman - 1993