Optimizing ML Using a Hierarchy of Monadic Types (1998)

Cached

Download Links

by Andrew Tolmach
Venue:WORKSHOP ON TYPES IN COMPILATION, KYOTO
Citations:13 - 0 self

Documents Related by Co-Citation

91 The Marriage of Effects and Monads – Philip Wadler, Peter Thiemann - 1998
730 Notions of Computation and Monads – Eugenio Moggi - 1991
1305 Monads for functional programming – Philip Wadler - 1995
150 The Type and Effect Discipline – Jean-Pierre Talpin, Pierre Jouvelot - 1992
455 Comprehending Monads – Philip Wadler - 1992
85 Integrating functional and imperative programming – D K Gifford, J M Lucassen - 1986
105 Compiling Standard ML to Java bytecodes – Nick Benton, Andrew Kennedy, George Russell, Nick Benton, Andrew Kennedy, George Russell - 1998
436 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
234 Polymorphic effect systems – John M. Lucassen, David K. Gifford - 1988
28 Monadic Encapsulation of Effects: A Revised Approach (Extended Version) – E. Moggi, Amr Sabry - 1999
11 Theoretical and Practical Aspects of Type and Effect Inference,'' Doctoral Dissertation; also available as Research Report EMP CRI A-236, Ecole des Mines de Paris – J-P Talpin - 1993
92 Simple Imperative Polymorphism – Andrew Wright - 1995
52 A Semantics for Imprecise Exceptions – Simon Peyton Jones, Alastair Reid, Tony Hoare, Simon Marlow, Fergus Henderson - 1999
201 Concurrent Haskell – Simon Peyton Jones, Andrew Gordon, Sigbjorn Finne - 1996
106 Lazy functional state threads – John Launchbury, Simon L Peyton Jones - 1994
24 Monadic State: Axiomatization and Type Safety – John Launchbury, Amr Sabry, When Launchbury, Peyton Jones Introduced Encapsulated - 1997
70 A Region Inference Algorithm – Mads Tofte , Lars Birkedal - 1998
92 Operational Semantics and Polymorphic Type Inference – Mads Tofte - 1988
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992