Imperative Lambda Calculus Revisited (1997)

Cached

Download Links

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

Active Bibliography

3 Type reconstruction for SCI – Howard Huang, Uday Reddy - 1996
1 Type reconstruction for syntactic control of interference, part 2 – Hongseok Yang, Howard Huang - 1998
Type Reconstruction for SCI, Part 2 – Hongseok Yang, Howard Huang - 1997
16 Monadic Encapsulation in ML – Miley Semmelroth, Amr Sabry - 1999
22 Objects and classes in Algol-like languages – Uday S. Reddy - 2002
28 Monadic Encapsulation of Effects: A Revised Approach (Extended Version) – E. Moggi, Amr Sabry - 1999
2 A linear logic model of state (extended abstract – Uday S. Reddy - 1993
Applicative Notions in ML-like Programs – Budi Halim Ling - 1998
11 Passivity and independence – Uday S. Reddy - 1994
4 Note on Algol and Conservatively Extending Functional Programming – Peter O'Hearn - 1995
Arrays in Imperative Lambda Calculus (Extended abstract) – Sam Kamin, Uday S. Reddy - 1992
19 Isolating Side Effects in Sequential Languages – Jon G. Riecke, Ramesh Viswanathan - 1995
81 Once Upon a Type – David Turner, Philip Wadler, Christian Mossin - 1995
4 Syntactic Control of Interference for Separation Logic – Uday S. Reddy, John C. Reynolds
33 On Bunched Typing – Peter O'Hearn - 2002
24 There's No Substitute for Linear Logic – Philip Wadler - 1991
24 Linear Logic – Patrick Lincoln - 1992
20 Correctness of Monadic State: An Imperative Call-by-Need Calculus – Zena M. Ariola, Amr Sabry - 1998
14 What is a Purely Functional Language? – Amr Sabry - 1998