|
14
|
Divergence of F≤ Type Checking
– Giorgio Ghelli
|
|
135
|
PolyTOIL: A type-safe polymorphic object-oriented language
– Kim B. Bruce, Adrian Fiech, Angela Schuett, Robert Van Gent
- 1995
|
|
33
|
Safe and decidable type checking in an object-oriented language
– Kim B. Bruce, Jon Crabtree, Thomas P. Murtagh, Robert Van Gent, Williamstown Ma, Allyn Dimock, Robert Muller
- 1993
|
|
34
|
Intersection Types and Bounded Polymorphism
– Benjamin C. Pierce
- 1996
|
|
28
|
Polarized Higher-Order Subtyping
– Martin Steffen
- 1997
|
|
26
|
Statically Typed Friendly Functions via Partially Abstract Types
– Benjamin C. Pierce, David N. Turner
- 1993
|
|
110
|
A Paradigmatic Object-Oriented Programming Language: Design, Static Typing and Semantics
– Kim B. Bruce
- 1993
|
|
64
|
Programming with Intersection Types and Bounded Polymorphism
– Benjamin C. Pierce
- 1991
|
|
2
|
Rupiah: Towards an Expressive Static Type System for Java
– John Foster
- 2001
|
|
33
|
Object-Oriented Programming Without Recursive Types
– Benjamin C. Pierce, David N. Turner
|
|
99
|
Bounded Quantification is Undecidable
– Benjamin C. Pierce
- 1993
|
|
|
Sous-Typage Et Programmation Orientée à Objets
– Giuseppe Castagna
|
|
|
Foundation of Object-Oriented Programming
– Giuseppe Castagna
- 1998
|
|
12
|
Multiple Inheritance via Intersection Types
– Adriana B. Compagnoni, Benjamin C. Pierce
- 1993
|
|
14
|
Higher-Order Intersection Types and Multiple Inheritance
– Adriana B. Compagnoni, Benjamin C. Pierce
- 1995
|
|
3
|
Mutable Objects
– Benjamin C. Pierce
- 1993
|
|
1
|
A Module System for LOOM
– Leaf Eames Petersen
- 1997
|
|
3
|
Parametric Polymorphism in a Type-Safe, Object-Oriented Programming Language
– Angela Marie Schuett
|
|
|
Foundations of Object-Oriented Languages
– Workshop Report, Andrew Black, Jens Palsberg
- 1994
|
