Papers on Type Theory

CSRG publications on Type Theory:

A different proposal for making Eiffel type-consistent
A.J.H.Simons (1995)

Adding axioms to Cardelli-Wegner subtyping
A.J.H.Simons (1994)

Exploring Object-Oriented Type Systems
A.J.H.Simons (1994)

Introduction to Object-Oriented Type Theory
A.J.H.Simons (1993)

An axiomatic specification for the data type "TYPE"
A.J.Cowling (1990)

This page was last modified on May 24 1996 by Chih Nam Yap.