|
64
|
Programming with Intersection Types and Bounded Polymorphism
– Benjamin C. Pierce
- 1991
|
|
34
|
Intersection Types and Bounded Polymorphism
– Benjamin C. Pierce
- 1996
|
|
|
Refinement Types for Logical Frameworks
– William Lovas, Karl Crary
- 2010
|
|
21
|
Polymorphic Type Inference and Semi-Unification
– Fritz Henglein
- 1989
|
|
25
|
Practical Refinement-Type Checking
– Rowan Davies, Frank Pfenning
- 1997
|
|
5
|
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
|
|
28
|
Polarized Higher-Order Subtyping
– Martin Steffen
- 1997
|
|
7
|
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
|
|
92
|
Dynamic Typing in Polymorphic Languages
– Martín Abadi, Luca Cardelli, Benjamin Pierce, Didier Rémy
- 1995
|
|
148
|
Dynamic Typing in a Statically Typed Language
– Martín Abadi, Luca Cardelli, Benjamin Pierce, Gordon Plotkin
- 1989
|
|
98
|
On The Type Structure of Standard ML
– Robert Harper, John C. Mitchell
- 1993
|
|
2
|
Towards a Practical Programming Language Based on the Polymorphic Lambda Calculus
– Peter Lee, Mark Leone, Spiro Michaylov, Frank Pfenning
- 1989
|
|
52
|
Intersection Type Assignment Systems
– Steffen Van Bakel
- 1995
|
