Lazy Imperative Programming (1993)

Cached

Download Links

by John Launchbury
Venue:Yale University
Citations:29 - 5 self

Documents Related by Co-Citation

1312 Monads for functional programming – Philip Wadler - 1995
456 Comprehending Monads – Philip Wadler - 1992
106 Lazy functional state threads – John Launchbury, Simon L Peyton Jones - 1994
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
367 ML for the Working Programmer – Laurence C Paulson - 1991
126 A correspondence between ALGOL 60 and Church’s lambda notation – P J Landin - 1965
540 The Implementation of Functional Programming Languages – Peyton Jones, S L - 1987
4 Aspects th'eoriques et praticques de l'inf'erence de type et d'effets. PhD thesis, L'Ecole nationale sup'erieure des mines de – Jean-Pierre Talpin - 1993
163 An abstract view of programming languages – E Moggi - 1989
215 An introduction to the theory of lists – R S Bird - 1987
32 Call by name, assignment, and the lambda calculus – Martin Odersky, Dan Rabin, Paul Hudak
15 Mutable abstract datatypes -- or -- how to have your state and munge it too – Paul Hudak - 1992
53 The essence of functional programming (invited talk – Philip Wadler - 1992
930 Categories for the Working Mathematician – S Mac Lane - 1971
730 Notions of Computation and Monads – Eugenio Moggi - 1991
56 Detecting global variables in denotational specifications. ACM transactions on programming languages and systems – D A Schmidt - 1985
255 The Revised Report on the Syntactic Theories of Sequential Control and State – Matthias Felleisen, Matthias Felleisen, Robert Hieb, Robert Hieb - 1992
18 Fixing Some Space Leaks without a Garbage Collector – Jan Sparud - 1993
77 FUDGETS - A Graphical User Interface in a Lazy Functional Language – Magnus Carlsson, Thomas Hallgren - 1993