Active Bibliography

10 Programming With Types – Stephanie Claudene Weirich - 2002
Intensional Polymorphism in Type-Erasure Semantics – Karl Crary Stephanie, Stephanie Weirich, Greg Morrisett - 1998
4 Low-Level Type Systems for Modularity and Object-Oriented Constructs – Arthur Neal Glew - 2000
74 Flexible Type Analysis – Karl Crary, Stephanie Weirich - 1999
4 Higher-Order Intensional Type Analysis in Type-Erasure Semantics – Stephanie Weirich - 2003
22 Type-Theoretic Methodology For Practical Programming Languages – Karl Fredrick Crary - 1998
97 Compiling with Types – Greg Morrisett - 1995
Signature: A Type-Passing Implementation of Value Types and Genericity – Tim Owen, Tim Owen
8 Garbage Collection Based on a Linear Type System – Atsushi Igarashi, Naoki Kobayashi - 2000
8 From System F to Typed Assembly Language (Extended Version) – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
557 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
219 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
16 An open and shut typecase – Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich - 2004
33 Typed Cross-Module Compilation – Zhong Shao - 1998
Julien Cretin – Brent A. Yorgey, Stephanie Weirich, Simon Peyton Jones, Dimitrios Vytiniotis, José Pedro Magalhães
154 Dynamic Software Updating – Michael Hicks - 2001
Graduate Group Chairpersonc ○ Copyright 2001 – Michael Hicks, Scott M. Nettles, Val Tannen, Michael Hicks Acknowledgements - 2001
1 Intensional analysis of quantified types – Bratin Saha, Valery Trifonov, Zhong Shao - 2000
58 Implementing Typed Intermediate Languages – Zhong Shao, Christopher League, Stefan Monnier - 1998