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
8 Compilation based on a calculus for explicit type passing – Yasuhiko Minamide - 1996
12 Full Lifting of Type Parameters – Yasuhiko Minamide - 1997
34 Typed Cross-Module Compilation – Zhong Shao - 1998
11 Programming With Types – Stephanie Claudene Weirich - 2002
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
13 Optimal Type Lifting – Bratin Saha, Zhong Shao - 1998
76 Flexible Type Analysis – Karl Crary, Stephanie Weirich - 1999
Thesis Proposal: Effective Type Theory for Modularity – Derek Dreyer, Peter Lee - 2002
227 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
5 A New One-Pass Transformation into Monadic Normal Form – Olivier Danvy - 2003
10 Certifying Compilation for Standard ML in a Type Analysis Framework – Leaf Eames Petersen, Karl Crary, Peter Lee - 2005
47 Monads and Effects – Nick Benton, John Hughes, Eugenio Moggi - 2000
5 Programming Language Semantics in Foundational Type Theory – K. Crary - 1996
194 Typed Memory Management in a Calculus of Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
88 A Type System for Expressive Security Policies – David Walker - 2000
22 Type-Theoretic Methodology For Practical Programming Languages – Karl Fredrick Crary - 1998
3 Type-checking Injective Pure Type Systems – Gilles Barthe - 1993