Poll, Erik (1998) Subtyping and Inheritance for Categorical Datatypes. In: Theories of Types and Proofs (TTP) - Kyoto. RIMS Lecture Notes 1023 . (KAR id:21686)
|
PDF
Language: English |
|
|
Click to download this file (220kB)
Preview
|
Preview |
|
This file may not be suitable for users of assistive technology.
Request an accessible format
|
|
|
Postscript
Language: English |
|
|
Click to download this file (174kB)
Preview
|
Preview |
|
This file may not be suitable for users of assistive technology.
Request an accessible format
|
|
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.
| Item Type: | Conference or workshop item (Paper) |
|---|---|
| Uncontrolled keywords: | ''subtyping'', ''categorical datatypes'' |
| Subjects: | Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, |
| Divisions: | Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing |
| Funders: | Kyoto University (https://ror.org/02kpeqv85) |
| Depositing User: | Mark Wheadon |
| Date Deposited: | 29 Aug 2009 10:41 UTC |
| Last Modified: | 12 Jul 2022 10:39 UTC |
| Resource URI: | https://kar.kent.ac.uk/id/eprint/21686 (The current URI for this page, for reference purposes) |
- Link to SensusAccess
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):
Download Statistics
Download Statistics
