Compiling polymorphism using intensional type analysis (1995)

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

Active Bibliography

97 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
10 Programming With Types – Stephanie Claudene Weirich - 2002
13 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
64 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
251 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
13 Optimal Type Lifting – Bratin Saha, Zhong Shao - 1998
98 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
86 An Overview of the FLINT/ML Compiler – Zhong Shao - 1997
25 Typed Common Intermediate Format – Zhong Shao - 1997
33 Typed Cross-Module Compilation – Zhong Shao - 1998
46 First-class Polymorphism with Type Inference – Mark P. Jones
40 Semantics of memory management for polymorphic languages – Greg Morrisett, Robert Harper - 1997
21 Dynamic Typing for Distributed Programming in Polymorphic Languages – Dominic Duggan - 1996
63 Using Parameterized Signatures to Express Modular Structure – Mark P. Jones - 1996