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

Cached

Download Links

by Paul Hudak
Citations:15 - 3 self

Documents Related by Co-Citation

1312 Monads for functional programming – Philip Wadler - 1995
106 Lazy functional state threads – John Launchbury, Simon L Peyton Jones - 1994
456 Comprehending Monads – Philip Wadler - 1992
186 Parameter-Passing and the Lambda Calculus – Erik Crank, Matthias Felleisen - 1991
56 Detecting global variables in denotational specifications. ACM transactions on programming languages and systems – D A Schmidt - 1985
38 Assignments for applicative languages – Vipin Swarup, Uday S. Reddy, Evan Ireland, Palmerston North - 1991
32 Call by name, assignment, and the lambda calculus – Martin Odersky, Dan Rabin, Paul Hudak
69 Conventional and Uniqueness Typing in Graph Rewrite Systems (Extended Abstract) – Erik Barendsen, Sjaak Smetsers - 1993
71 Single-threaded polymorphic lambda calculus – J C Guzman, P Hudak - 1990
5 Mobile Agents Based on Concurrent – M Paralič
5 Control-driven Data Flow – J Kollár
6 PFL Expressions for Imperative Control Structures – J Kollár
255 The Revised Report on the Syntactic Theories of Sequential Control and State – Matthias Felleisen, Matthias Felleisen, Robert Hieb, Robert Hieb - 1992
29 Lazy Imperative Programming – John Launchbury - 1993
11 Delimiting the Scope of Effects – Jon G. Riecke - 1993
22 Observers for Linear Types – Martin Odersky - 1992
283 The Lambda Calculus: Its Syntax and Semantics. Volume 103 – H P Barendregt - 1984
31 Update analysis and the efficient implementation of functional aggregates – A Bloss - 1989
3 Comprehending Loops in a Process Functional Programming Language – J Kollár