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

Active Bibliography

52 Monads and Effects – Nick Benton, John Hughes, Eugenio Moggi - 2000
3 Type-directed continuation allocation – Zhong Shao, Valery Trifonov - 1998
65 From ML to Ada: Strongly-typed Language Interoperability via Source Translation – Andrew Tolmach, Dino P. Oliva - 1993
150 The Type and Effect Discipline – Jean-Pierre Talpin, Pierre Jouvelot - 1992
227 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
Type- and Flow-Directed Compilation for Specialized Data Representations – Allyn Dimock - 2002
3 High-Level ABstractions for Low-Level Programming – Iavor Sotirov Diatchki - 2007
57 A Simplified Account of Polymorphic References – Robert Harper - 1994
28 A Calculus with Polymorphic and Polyvariant Flow Types – J. B. Wells, Allyn Dimock, Robert Muller, Franklyn Turbak
11 Taming Effects with Monadic Typing – Richard B. Kieburtz - 1999
60 Implementing Typed Intermediate Languages – Zhong Shao, Christopher League, Stefan Monnier - 1998
31 Flow-Directed Closure Conversion for Typed Languages – Henry Cejtin, Suresh Jagannathan, Stephen Weeks - 2000
10 Unification and Polymorphism in Region Inference – Mads Tofte, Lars Birkedal - 1996
14 A Retrospective on Region-Based Memory Management – Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg - 2004
Local CPS conversion – John Reppy - 2001
Local CPS conversion in a direct-style compiler – unknown authors
20 A Calculus for Compiling and Linking Classes – Kathleen Fisher, John Reppy, Jon G. Riecke - 2000
8 Local CPS conversion in a direct-style compiler (Extended Abstract) – John Reppy - 2000
92 The Marriage of Effects and Monads – Philip Wadler, Peter Thiemann - 1998