© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Subtyping and Inheritance for Categorical Datatypes
Erik Poll
In Theories of Types and Proofs (TTP) - Kyoto, RIMS Lecture Notes 1023, pages 182-196. Kyoto University Research Insitute for Mathematical Sciences, January 1998.Abstract
We extend Hagino's categorical datatypes with subtyping and a limited form of inheritance. The view of objects as coalgebras provides the inspiration for subtyping and inheritance for coalgebraic (or coinductive) types. Exploiting the duality between coalgebras and algebras then yields notions of subtyping and inheritance for algebraic (or inductive) types.
Download publication 67 kbytesBibtex Record
@inproceedings{516, author = {Erik Poll}, title = {{S}ubtyping and {I}nheritance for {C}ategorical {D}atatypes}, month = {January}, year = {1998}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/1998/516}, booktitle = {Theories of Types and Proofs (TTP) - Kyoto}, organization = {Kyoto University Research Insitute for Mathematical Sciences}, series = {RIMS Lecture Notes 1023}, }