School of Computing

Subtyping and Inheritance for Inductive Types

Erik Poll

In Proceedings of TYPES'97 Workshop on Subtyping, inheritance and modular development of proofs, Durham, UK, pages 182-196, September 1997.

Abstract

Inheritance and subtyping are key features of object-oriented languages. We show that there are corresponding (or, more precisely, dual) notions for inductive or algebraic datatypes: there is a natural notion of subtyping for these types and an associated form of code reuse (inheritance) for programs on these types.

Inheritance and subtyping for inductive types not only suggest possible extensions of functional programming languages, but also provide a new perspective on inheritance as we know it from object-oriented languages, which may help in getting a better understanding of this notion.

Download publication 55 kbytes

Bibtex Record

@inproceedings{475,
author = {Erik Poll},
title = {{S}ubtyping and {I}nheritance for {I}nductive {T}ypes},
month = {September},
year = {1997},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1997/475},
    booktitle = {Proceedings of TYPES'97 Workshop on Subtyping, inheritance and modular development of proofs, Durham, UK},
    refereed = {no},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014