Types in General

On Understanding Types, Data Abstraction, and Polymorphism

L. Cardelli and P. Wegner (ARTICLE, 1985)

Covariance and Contravariance: Conflict without a Cause

G. Castagna (ARTICLE, 1995)

Covariance and Contravariance: Conflict without a Cause

G. Castagna (TECHREPORT, 1994)

A Calculus for Overloaded Functions with Subtyping

G. Castagna and G. Ghelli and G. Longo (ARTICLE, 1995)

Theoretical Aspects of Object-oriented Programming: Types, Semantics, and Language Design

C. Gunter and J. Mitchell (BOOK, 1994)

Polymorphic type inference and assignment

X. Leroy and P. Weis[ (ed)] (INPROCEEDINGS, 1991)

A Theory of Type Polymorphism in Programming

R. Milner (ARTICLE, 1987)

Polymorphic Type Schemes and Recursive Definitions

A. Mycroft[ (ed)] (INCOLLECTION, 1984)

Object-Oriented Type Systems

J. Palsberg and M.I. Schwartzbach (BOOK, 1994)

The Implementation of Functional Programming Languages

S.L. Peyton Jones (BOOK, 1987)