Delimiting the Scope of Effects (1993)

Cached

Download Links

by Jon G. Riecke
Venue:In Proceedings of the Conference on Functional Programming Languages and Computer Architecture
Citations:11 - 1 self

Documents Related by Co-Citation

37 Assignments for applicative languages – Vipin Swarup, Uday S. Reddy, Evan Ireland, Palmerston North - 1991
1312 Monads for functional programming – Philip Wadler - 1995
458 Comprehending Monads – Philip Wadler - 1992
32 Call by name, assignment, and the lambda calculus – Martin Odersky, Dan Rabin, Paul Hudak
121 Polymorphic Type, Region and Effect Inference – Jean-Pierre Talpin, Pierre Jouvelot - 1991
733 Notions of Computation and Monads – Eugenio Moggi - 1991
19 Isolating Side Effects in Sequential Languages – Jon G. Riecke, Ramesh Viswanathan - 1995
102 Parametricity and Local Variables – P. W. O'hearn, R. D. Tennent - 1995
398 LCF considered as a programming language – G Plotkin - 1977
268 Semantics of Programming Languages: Structures and Techniques – C A Gunter - 1992
6 On the Orthogonality of Assignments and Procedures in Algol – Stephen Weeks, Matthias Felleisen - 1992
135 Linear Types Can Change the World! – Philip Wadler - 1990
15 Mutable abstract datatypes -- or -- how to have your state and munge it too – Paul Hudak - 1992
106 Lazy functional state threads – John Launchbury, Simon L Peyton Jones - 1994
220 Call-by-name, call-by-value and the -calculus – G D Plotkin - 1975
22 Fully abstract translations between functional languages (preliminary report – Jon G Riecke - 1991
234 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995
48 Idealized Algol and its specification logic – J C Reynolds - 1982
35 Object-Oriented Programming Without Recursive Types – Benjamin C. Pierce, David N. Turner