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

38 Assignments for applicative languages – Vipin Swarup, Uday S. Reddy, Evan Ireland, Palmerston North - 1991
1312 Monads for functional programming – Philip Wadler - 1995
456 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
730 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
395 LCF considered as a programming language – G Plotkin - 1977
267 Semantics of Programming Languages: Structures and Techniques. Foundations of Computing Series – C Gunter - 1992
6 On the Orthogonality of Assignments and Procedures in Algol – Stephen Weeks, Matthias Felleisen - 1992
134 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 – J G Riecke - 1991
159 Simple Type-Theoretic Foundations for Object-Oriented Programming – Benjamin C. Pierce, David N. Turner - 1993
220 Common LISP: The Language – G L Steele - 1984
136 Complete type inference for simple objects – Mitchell Wand - 1988