Codatatypes in ML

Research output: Contribution to journalArticlepeer-review

16 Citations (Scopus)


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 languageEnglish
Pages (from-to)629-650
Number of pages22
JournalJournal of Symbolic Computation
Issue number6
Publication statusPublished - 1989
Externally publishedYes

ASJC Scopus subject areas

  • Algebra and Number Theory
  • Computational Mathematics


Dive into the research topics of 'Codatatypes in ML'. Together they form a unique fingerprint.

Cite this