Calculi for Functional Programming Languages with Assignment (1996)

Cached

Download Links

by Daniel Eli Rabin , Daniel Eli Rabin
Citations:3 - 0 self

Documents Related by Co-Citation

32 Call by name, assignment, and the lambda calculus – Martin Odersky, Dan Rabin, Paul Hudak
12 A type system for a lambda calculus with assignments – Kung Chen, Martin Odersky - 1994
150 The Type and Effect Discipline – Jean-Pierre Talpin, Pierre Jouvelot - 1992
131 Syntactic control of interference – J C Reynolds - 1978
236 Polymorphic effect systems – John M. Lucassen, David K. Gifford - 1988
37 Assignments for applicative languages – Vipin Swarup, Uday S. Reddy, Evan Ireland, Palmerston North - 1991
24 Monadic State: Axiomatization and Type Safety – John Launchbury, Amr Sabry, When Launchbury, Peyton Jones Introduced Encapsulated - 1997
106 Lazy functional state threads – John Launchbury, Simon L Peyton Jones - 1994
110 Type inference for polymorphic references – M Tofte - 1990
280 Region-Based Memory Management – Mads Tofte, Jean-Pierre Talpin - 1997
458 Comprehending Monads – Philip Wadler - 1992
92 The Marriage of Effects and Monads – Philip Wadler, Peter Thiemann - 1998
25 Typability and Type Checking in the Second-Order - Calculus Are Equivalent and Undecidable. submitted to APAP – Joe Wells - 1996
17 Linear logic and interference control – P W O’Hearn - 1991
6 Global state considered unnecessary: Semantics of interference-free imperative programming – U S Reddy - 1993
40 Syntactic Control of Interference Revisited – P. W. O'hearn, A. J. Power, M. Takeyama, R. D. Tennent - 1995
3 Type reconstruction for SCI – Howard Huang, Uday Reddy - 1996
13 Syntactic control of interference, Part II – J C Reynolds - 1989
11 Passivity and independence – Uday S. Reddy - 1994