Polymorphic Type Inference and Abstract Data Types (1994)

Cached

Download Links

by Konstantin Läufer , Martin Odersky
Venue:ACM Transactions on Programming Languages and Systems
Citations:61 - 3 self

Active Bibliography

14 From Hindley-Milner types to first-class structures – Mark P. Jones - 1995
8 Combining Type Classes And Existential Types – Konstantin Läufer - 1994
1 Programming with Structures, Functions, and Objects – Fritz Henglein, Konstantin Läufer - 1991
25 Type inference and semi-unification – Friedrich Henglein, Friedrich Henglein - 1988
58 Translucent Sums: A Foundation for Higher-Order Module Systems – Mark Lillibridge - 1997
22 Type-Theoretic Methodology For Practical Programming Languages – Karl Fredrick Crary - 1998
67 Using Parameterized Signatures to Express Modular Structure – Mark P. Jones - 1996
Type Theory for Programming Languages – Robert Harper - 1994
Thesis Proposal: Effective Type Theory for Modularity – Derek Dreyer, Peter Lee - 2002
12 A Type System for Computer Algebra – Philip S. Santas - 1994
43 Understanding and Evolving the ML Module System – Derek Dreyer, Peter Lee - 2005
267 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
Functions, Frames, and Interactions -- completing a λ-calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments – Claus Reinke - 1998
83 A Type System for Higher-Order Modules – Derek Dreyer, Karl Crary, Robert Harper - 2003
69 Types for Modules – Claudio V. Russo - 1998
89 A Type-Theoretic Interpretation of Standard ML – Robert Harper, Christopher Stone - 2000
Types in Programming Languages – Carlos Camarão, Lucília Figueiredo, Elaine Pimentel
1 ML Has Principal Typings – Carlos Camarão, Lucília Figueiredo - 2005
11 Structuring Specifications in-the-Large and in-the-Small: Higher-Order Functions, Dependent Types and Inheritance in SPECTRAL – Bernd Krieg-Brückner, Donald Sannella