Codatatypes in ML

研究成果: Article査読

15 被引用数 (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.

本文言語English
ページ(範囲)629-650
ページ数22
ジャーナルJournal of Symbolic Computation
8
6
DOI
出版ステータスPublished - 1989
外部発表はい

ASJC Scopus subject areas

  • Algebra and Number Theory
  • Computational Mathematics

フィンガープリント 「Codatatypes in ML」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル