Implicit and Explicit Parallel Programming in Haskell (1993)

by Mark P. Jones , Paul Hudak
Citations:31 - 1 self

Active Bibliography

31 A Functional Theory of Local Names – Martin Odersky - 1994
20 Correctness of Monadic State: An Imperative Call-by-Need Calculus – Zena M. Ariola, Amr Sabry - 1998
97 How to Declare an Imperative – Philip Wadler - 1995
69 Composing Monads – Mark P. Jones, Luc Duponcheel - 1993
28 Monadic Encapsulation of Effects: A Revised Approach (Extended Version) – E. Moggi, Amr Sabry - 1999
19 Isolating Side Effects in Sequential Languages – Jon G. Riecke, Ramesh Viswanathan - 1995
259 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
18 Lightweight GUIs for Functional Programming – Ton Vullinghs, Daniel Tuijnman, Wolfram Schulte - 1995
1 Structuring Functional Programs By Using Monads – Davor Obradovic - 1998
1 Dynamically Adaptable Software with Metacomputations in a Staged Language – Bill Harrison, Tim Sheard - 2001
Doctor Thesis LABEL-SELECTIVE LAMBDA-CALCULI AND TRANSFORMATION CALCULI – unknown authors - 1994
15 Monadic Encapsulation in ML – Miley Semmelroth, Amr Sabry - 1999
3 Type reconstruction for SCI – Howard Huang, Uday Reddy - 1996
State in Haskell – John Launchbury Jl, John Launchbury, Simon L Peyton Jones - 1996
106 Lazy functional state threads – John Launchbury, Simon L Peyton Jones - 1994
Final report on the GRASP project – Simon L. Peyton Jones, Philip Wadler, Cordelia Hall, Kevin Hammond, Will Partain, Simon Peyton Jones, Phil Wadler - 1993
7 FUNDIO: A Lambda-Calculus with a letrec, case, Constructors, and an IO-Interface: Approaching a Theory of unsafePerformIO – Manfred Schmidt-Schauß - 2003
109 An Interaction-based Language and its Typing System – Kaku Takeuchi, Kohei Honda, Makoto Kubo - 1994
13 Rolling Your Own Mutable ADT --- A Connection between Linear Types and Monads --- – Chih-ping Chen, Paul Hudak - 1997