Codatatypes in ML

Tatsuya Hagino

doi:10.1016/S0747-7171(89)80065-3

Codatatypes in ML

Tatsuya Hagino

Research output: Contribution to journal › Article › peer-review

16 Citations (Scopus)

Abstract

A new data type declaration mechanism of defining codatatypes is introduced to a functional programming language ML. Codatatypes are dual to datatypes for which ML already has a mechanism of defining. Sums and finite lists are defined as datatypes, but their duals, products and infinite lists, could not be defined in ML. This new facility gives ML the missing half of data types and makes ML symmetric. Categorical and domain-theoretic characterization of codatatypes are also given.

Original language	English
Pages (from-to)	629-650
Number of pages	22
Journal	Journal of Symbolic Computation
Volume	8
Issue number	6
DOIs	https://doi.org/10.1016/S0747-7171(89)80065-3
Publication status	Published - 1989
Externally published	Yes

ASJC Scopus subject areas

Algebra and Number Theory
Computational Mathematics

Access to Document

10.1016/S0747-7171(89)80065-3

Cite this

@article{ca86a78491e74586b6edc737ab356a26,

title = "Codatatypes in ML",

abstract = "A new data type declaration mechanism of defining codatatypes is introduced to a functional programming language ML. Codatatypes are dual to datatypes for which ML already has a mechanism of defining. Sums and finite lists are defined as datatypes, but their duals, products and infinite lists, could not be defined in ML. This new facility gives ML the missing half of data types and makes ML symmetric. Categorical and domain-theoretic characterization of codatatypes are also given.",

author = "Tatsuya Hagino",

year = "1989",

doi = "10.1016/S0747-7171(89)80065-3",

language = "English",

volume = "8",

pages = "629--650",

journal = "Journal of Symbolic Computation",

issn = "0747-7171",

publisher = "Academic Press Inc.",

number = "6",

}

TY - JOUR

T1 - Codatatypes in ML

AU - Hagino, Tatsuya

PY - 1989

Y1 - 1989

N2 - A new data type declaration mechanism of defining codatatypes is introduced to a functional programming language ML. Codatatypes are dual to datatypes for which ML already has a mechanism of defining. Sums and finite lists are defined as datatypes, but their duals, products and infinite lists, could not be defined in ML. This new facility gives ML the missing half of data types and makes ML symmetric. Categorical and domain-theoretic characterization of codatatypes are also given.

AB - A new data type declaration mechanism of defining codatatypes is introduced to a functional programming language ML. Codatatypes are dual to datatypes for which ML already has a mechanism of defining. Sums and finite lists are defined as datatypes, but their duals, products and infinite lists, could not be defined in ML. This new facility gives ML the missing half of data types and makes ML symmetric. Categorical and domain-theoretic characterization of codatatypes are also given.

UR - http://www.scopus.com/inward/record.url?scp=84995320556&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84995320556&partnerID=8YFLogxK

U2 - 10.1016/S0747-7171(89)80065-3

DO - 10.1016/S0747-7171(89)80065-3

M3 - Article

AN - SCOPUS:84995320556

SN - 0747-7171

VL - 8

SP - 629

EP - 650

JO - Journal of Symbolic Computation

JF - Journal of Symbolic Computation

IS - 6

ER -

Codatatypes in ML

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this