Monadic Type Systems: Pure Type Systems for Impure Settings (Preliminary Report) (1997)

Cached

Download Links

by Gilles Barthe , John Hatcliff , Peter Thiemann
Venue:In Proceedings of the Second HOOTS Workshop
Citations:8 - 2 self

Active Bibliography

102 Compiling with Types – Greg Morrisett - 1995
Type- and Flow-Directed Compilation for Specialized Data Representations – Allyn Dimock - 2002
12 Full Lifting of Type Parameters – Yasuhiko Minamide - 1997
34 Typed Cross-Module Compilation – Zhong Shao - 1998
8 Compilation based on a calculus for explicit type passing – Yasuhiko Minamide - 1996
227 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
11 Programming With Types – Stephanie Claudene Weirich - 2002
5 Programming Language Semantics in Foundational Type Theory – K. Crary - 1996
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
196 Typed Memory Management in a Calculus of Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
22 Type-Theoretic Methodology For Practical Programming Languages – Karl Fredrick Crary - 1998
154 Typed closure conversion – Yasuhiko Minamide, Greg Morrisett, Robert Harper - 1996
84 A type system for certified binaries – Zhong Shao, Valery Trifonov, Bratin Saha, Nikolaos Papaspyrou - 2002
13 Optimal Type Lifting – Bratin Saha, Zhong Shao - 1998
28 Monadic Encapsulation of Effects: A Revised Approach (Extended Version) – E. Moggi, Amr Sabry - 1999
76 Flexible Type Analysis – Karl Crary, Stephanie Weirich - 1999
16 Type Structure for Low-Level Programming Languages – Karl Crary, Greg Morrisett - 1999
Thesis Proposal: Effective Type Theory for Modularity – Derek Dreyer, Peter Lee - 2002
5 A New One-Pass Transformation into Monadic Normal Form – Olivier Danvy - 2003