Type Theory for Programming Languages (1994)

Cached

Download Links

by Robert Harper

Active Bibliography

102 Compiling with Types – Greg Morrisett - 1995
15 Advanced Languages for Systems Software The Fox Project in 1994 – Robert Harper, Peter Lee - 1994
154 Typed closure conversion – Yasuhiko Minamide, Greg Morrisett, Robert Harper - 1996
65 Flexible representation analysis – Zhong Shao - 1997
90 An Overview of the FLINT/ML Compiler – Zhong Shao - 1997
103 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
42 Semantics of memory management for polymorphic languages – Greg Morrisett, Robert Harper - 1997
8 From System F to Typed Assembly Language (Extended Version) – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
22 Type-Theoretic Methodology For Practical Programming Languages – Karl Fredrick Crary - 1998
14 From Hindley-Milner types to first-class structures – Mark P. Jones - 1995
34 Typed Cross-Module Compilation – Zhong Shao - 1998
268 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
1 Operational Interpretations of an Extension of F-omega with Control Operators – Robert Harper, Mark Lillibridge - 1995
2 Mixin modules, modules and extended value binding in a call-by-value setting – Tom Hirschowitz - 2003
69 Explicit Polymorphism and CPS Conversion – Robert Harper , Mark Lillibridge - 1992
89 A Type-Theoretic Interpretation of Standard ML – Robert Harper, Christopher Stone - 2000
28 Transparent Modules with Fully Syntactic Signatures – Zhong Shao - 1999
138 Separate Compilation for Standard ML – Andrew W. Appel, David B. Macqueen - 1994