Compiling polymorphism using intensional type analysis (1995)

by Robert Harper , Greg Morrisett
Venue:In Symposium on Principles of Programming Languages
Citations:260 - 18 self

Active Bibliography

102 Compiling with Types – Greg Morrisett - 1995
Type Theory for Programming Languages – Robert Harper - 1994
14 From Hindley-Milner types to first-class structures – Mark P. Jones - 1995
15 Advanced Languages for Systems Software The Fox Project in 1994 – Robert Harper, Peter Lee - 1994
11 Programming With Types – Stephanie Claudene Weirich - 2002
14 A Language for Generic Programming – Jeremy G. Siek - 2005
22 Type-Theoretic Methodology For Practical Programming Languages – Karl Fredrick Crary - 1998
1 Operational Interpretations of an Extension of F-omega with Control Operators – Robert Harper, Mark Lillibridge - 1995
268 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
67 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
13 Optimal Type Lifting – Bratin Saha, Zhong Shao - 1998
25 Typed Common Intermediate Format – Zhong Shao - 1997
90 An Overview of the FLINT/ML Compiler – Zhong Shao - 1997
34 Typed Cross-Module Compilation – Zhong Shao - 1998
103 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
21 Types and Polymorphism in Persistent Programming Systems – Richard C. H. Connor - 1990
47 First-class Polymorphism with Type Inference – Mark P. Jones
42 Semantics of memory management for polymorphic languages – Greg Morrisett, Robert Harper - 1997
23 Dynamic Typing for Distributed Programming in Polymorphic Languages – Dominic Duggan - 1996