Type Systems

Dynamic Typing in a Statically Typed Language

Martin Abadi and Luca Cardelli and Benjamin Pierce and Gordon Plotkin (inproceedings, 1989)

Dynamic Typing in a Statically Typed Language

Abadi, Martin and Cardelli, Luca and Pierce, Benjamin C. and Plotkin, Gordon D. (techreport, 1989)

Dynamic Typing in a Statically Typed Language

Abadi, Martin and Cardelli, Luca and Pierce, Benjamin C. and Plotkin, Gordon D. (article, 1991)

Dynamic Typing in Polymorphic Languages

Abadi, Martin and Cardelli, Luca and Pierce, Benjamin and R\'emy, Didier (techreport, 1994)

Implementing Haskell overloading

Augustsson, Lennart (inproceedings, 1993)

Introduction to generalized type systems

Henk Barendregt (article, 1991)

Uniqueness Type Inference

Erik Barendsen and Sjaak Smetsers[M. Hermenegildo and S. D. Swierstra (ed)] (inproceedings, 1995)

An Approach to Overloading with Polymorphism

Stephen Blott (phdthesis, 1992)

A Semantics of Multiple Inheritance

Luca Cardelli[G. Kahn and D.B. MacQueen and G. Plotkin (ed)] (inproceedings, 1984)

Operations on Records

Luca Cardelli and John C. Mitchell (incollection, 1994)

On Understanding Types, Data Abstraction, and Polymorphism

Luca Cardelli and Peter Wegner (article, 1985)

Covariance and contravariance: conflict without a cause

Giuseppe Castagna (article, 1995)

Type Equivalence Checking in Persistent Object Systems

Connor, R.C.H. and Brown, A.B. and Cutts, Q.I. and Dearle, A. and Morrison, R. and Rosenberg, J.[Dearle, A. and Shaw, G.M. and Zdonik, S.B. (ed)] (incollection, 1990)

On the Analogy Between Propositions and Types

Thierry Coquand (incollection, 1990)

Data Types Are Values

James Donahue and Alan Demers (article, 1985)

A Polymorphic Type System for Extensible Records and Variants

Benedict R. Gaster and Mark P. Jones (techreport, 1996)

A categorical semantics for qualified types

Benedict R. Gaster (misc, 1998)

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

[Carl A. Gunter and John C. Mitchell (ed)] (book, 1994)

Type classes in Haskell

Cordelia V. Hall and Kevin Hammond and Simon L. Peyton Jones and Philip L. Wadler (article, 1996)

A Type-Theoretic Approach to Higher-Order Modules with Sharing

Robert Harper and Mark Lillibridge (techreport, 1994)

Type inference with polymorphic recursion

Fritz Henglein (article, 1993)

The Formulae-As-Types Notion Of Construction

W. A. Howard[J. P. Seldin and J. R. Hindley (ed)] (incollection, 1980)

Logical Foundations of Functional Programming

[G\'erard Huet (ed)] (book, 1990)

Type Specialisation for the Lambda-calculus; or, A New Paradigm for Partial Evaluation based on Type Inference

John Hughes (misc, 1996)

Type classes in Mercury

David Jeffery, Fergus Henderson and Zoltan Somogyi (techreport, 1998)

A theory of qualified types

Jones, Mark P. (InProceedings, 1992)

Qualified Types: Theory and Practice

Mark P. Jones (book, 1995)

A system of constructor classes: overloading and implicit higher-order polymorphism

Mark P. Jones (article, 1993)

Qualified Types: Theory and Practice

Mark P. Jones (phdthesis, 1994)

Dictionary-free Overloading by Partial Evaluation

Mark P. Jones (inproceedings, 1994)

A system of constructor classes: overloading and implicit higher-order polymorphism

Mark P. Jones (article, 1995)

Simplifying and Improving Qualified Types

Mark P. Jones (inproceedings, 1995)

From Hindley-Milner Types to First-Class Structures

Jones, Mark P. (inproceedings, 1995)

Using Parameterized Signatures to Express Modular Structure

Jones, Mark P. (inproceedings, 1996)

First-class Polymorphism with Type Inference

Mark P. Jones[ (ed)] (inproceedings, 1997)

Parametric overloading in polymorphic programming languages

Stefan Kaes[H. Ganzinger (ed)] (InProceedings, 1988)

First-class polymorphism for ML

Stefan Kahrs[Donald Sannella (ed)] (inproceedings, 1993)

An approach to multilanguage persistent type system

Kauhiko Kato and Atsushi Ohori (inproceedings, 1992)

Type reconstruction in the presence of polymorphic recursion

A. J. Kfoury and J. Tiuryn and P. Urzyczyn (article, 1993)

Combining Type Classes and Existential Types

Läufer, K. (InProceedings, 1994)

Manifest types, modules, and separate compilation

Xavier Leroy (inproceedings, 1994)

Applicative functors and fully transparent higher-order modules

Xavier Leroy (inproceedings, 1995)

Translucent Sums: A Foundation for Higher-Order Module Systems

Mark Lillibridge (misc, 1996)

Translucent Sums: A Foundation for Higher-Order Module Systems

Mark Lillibridge (phdthesis, 1997)

Using Dependent Types to Express Modular Structure

David MacQueen (inproceedings, 1986)

Constructive Mathematics and Computer Programming

Per Martin-Löf[L.J. Cohen and J. Los and H. Pfeiffer and K.-P. Podewski (ed)] (inproceedings, 1979)

Poly and Standard ML

David C. J. Matthews (article, 1985)

'Type` Is Not A Type: Preliminary Report

Albert R. Meyer and Mark B. Reinhold (inproceedings, 1986)

A Theory of Type Polymorphism in Programming

Robin Milner (article, 1978)

Abstract types have existential type

John C. Mitchell and Gordon D. Plotkin (inproceedings, 1985)

Type systems for programming languages

John C. Mitchell[J. van Leeuwen (ed)] (incollection, 1990)

An extension of Standard ML modules with subtyping and inheritance

J. C. Mitchell and S. Meldal and N. Madhav (inproceedings, 1991)

Mechanisms for Controlling Evolution in Persistent Object Systems

Morrison, R. and Connor, R.C.H. and Cutts, Q.I. and Kirby, G.N.C. and Stemple, D. (article, 1993)

Objects and Subtyping in a Functional Perspective

Martin Odersky (techreport, 1991)

Putting Type Annotations to Work

Martin Odersky and Konstantin Läufer (inproceedings, 1996)

A Polymorphic Language With First-Class Modules

John Ophel (article, 1995)

Bulk types with class

Simon Peyton Jones[Phil Trinder (ed)] (inproceedings, 1996)

Type Classes: an exploration of the design space

Simon Peyton Jones and Mark Jones and Erik Meijer (inproceedings, 1997)

Dynamic Typing in Haskell

John Peterson (techreport, 1994)

First Class File I/O

Marco Pil[Werner Kluge (ed)] (inproceedings, 1996)

Project 803-09: The specification and implementation of a distributed operating system in a lazy, purely functional language

Rinus Plasmeijer and Marco Pil (misc, 1997)

Typing Record Concatenation for Free

Didier R\'emy (inproceedings, 1992)

Standard ML Type Generativity as Existential Quantification

Claudio V.~Russo (techreport, 1996)

A Typed Intermediate Language for Haskell

Marks Shields (misc, 1997)

Dynamic Typing as Staged Type Inference

Mark Shields and Tim Sheard and Simon Peyton Jones[ (ed)] (inproceedings, 1998)

TIL: A Type-Directed Optimizing Compiler for ML

D.~Tarditi and G.~Morrisett and P.~Cheng and C.~Stone and R.~Harper and P.~Lee (inproceedings, 1996)

How to make ad-hoc polymorphism less ad hoc

Philip Walder and Stephen Blott (inproceedings, 1989)

Typability and Type Checking in the Second-Order -Calculus Are Equivalent and Undecidable

Joe Wells (article, 1996)