Programming With Intersection Types, Union Types, and Polymorphism (1991)

Cached

Download Links

by Benjamin C. Pierce
Citations:50 - 3 self

Active Bibliography

67 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
37 Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1996
This is brought to you for free and open access by the Theses and Dissertations at Research Showcase. It has been accepted for inclusion in Dissertations by an authorized administrator of Research Showcase. For more information, please contact research-sh – William Lovas, William Lovas - 2010
2 Refinement Types for Logical Frameworks – William Lovas - 2010
25 Type inference and semi-unification – Friedrich Henglein, Friedrich Henglein - 1988
34 Practical Refinement-Type Checking – Rowan Davies, Frank Pfenning - 1997
6 Subject reduction and minimal types for higher order subtyping – Adriana Compagnoni - 1997
Type Systems for Programming Languages – Steffen van Bakel - 2001
6 Contextual Polymorphism – Glen Jeffrey Ditchfield - 1994
32 Polarized Higher-Order Subtyping – Martin Steffen - 1997
15 Advanced Languages for Systems Software The Fox Project in 1994 – Robert Harper, Peter Lee - 1994
8 A New Presentation of the Intersection Type Discipline Through Principal Typings of Normal Forms – Émilie Sayag, Michel Mauny - 1996
2 Semantic Predicate Types and Approximation for Class-based Object Oriented Programming – Steffen Van Bakel, Reuben N. S. Rowe
1 Higher-order subtyping and its decidability – Adriana Compagnoni
Intersection Types, λ-models, and Böhm Trees – Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Ugo de'Liguoro
1 Developments in Object-Oriented Type Systems – Michael I. Schwartzbach, C Fl Michael I. Schwartzbach - 1994
99 Dynamic Typing in Polymorphic Languages – Martín Abadi, Luca Cardelli, Benjamin Pierce, Didier Rémy - 1995
156 Dynamic typing in a statically typed language – M. Abadi, L. Cardelli, B. Pierce, G. Plotkin, Matthias Berg, Advisor Andreas Rossberg - 1991
103 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993