Mutable abstract datatypes -- or -- how to have your state and munge it too (1992)

Cached

Download Links

by Paul Hudak
Citations:15 - 3 self

Active Bibliography

96 How to Declare an Imperative – Philip Wadler - 1995
13 Rolling Your Own Mutable ADT --- A Connection between Linear Types and Monads --- – Chih-ping Chen, Paul Hudak - 1997
456 Comprehending Monads – Philip Wadler - 1992
4 Note on Algol and Conservatively Extending Functional Programming – Peter O'Hearn - 1995
March 1991 – Ar Ch, Philip Wadler - 1991
17 Linearity and Laziness – David Wakeling, Colin Runciman - 1990
88 Is there a use for linear logic? – Philip Wadler - 1991
Applying π: Towards a Basis for Concurrent Imperative Programming – Martin Odersky - 1995
Arrays in Imperative Lambda Calculus (Extended abstract) – Sam Kamin, Uday S. Reddy - 1992
1312 Monads for functional programming – Philip Wadler - 1995
2 Graphical application and visualization of lazy functional computation – Sandra Periam Foubister - 1995
15 Functional Languages and Graphical User Interfaces -- a review and a case study – Rob Noble , Colin Runciman - 1994
9 An Operational Semantics for I/O in a Lazy Functional Language – Andrew D. Gordon - 1993
7 Deterministic Concurrency – David Paul Carter - 1993
20 Correctness of Monadic State: An Imperative Call-by-Need Calculus – Zena M. Ariola, Amr Sabry - 1998
3 Type reconstruction for SCI – Howard Huang, Uday Reddy - 1996
41 The Ins and Outs of Clean I/O – Peter Achten, Rinus Plasmeijer - 1995
31 A Functional Theory of Local Names – Martin Odersky - 1994
3 Experiments With Destructive Updates in a Lazy Functional Language – Pieter H. Hartel, Willem G. Vree - 1994