Codatatypes in ML

DOI10.1016/S0747-7171(89)80065-3zbMath0693.68012MaRDI QIDQ908682

Tatsuya Hagino

Publication date: 1989

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

zbMATH Keywords

functional programming languagedatatypes

Mathematics Subject Classification ID

Data structures (68P05) General topics in the theory of software (68N01) Theory of software (68N99)

Related Items (5)

Interactive programming in Agda – Objects and graphical user interfaces ⋮ Strong categorical datatypes II: A term logic for categorical programming ⋮ Undecidability of equality for codata types ⋮ Swinging types=functions+relations+transition systems ⋮ Coalgebras as Types Determined by Their Elimination Rules

Uses Software

• Cambridge LCF

Cites Work

• Category theory and computer programming. Tutorial and Workshop, Guildford, U.K., September 16-20, 1985. Proceedings
• Topoi. The categorial analysis of logic
• Edinburgh LCF. A mechanized logic of computation
• Logic and Computation
• Algebraic specification of data types: A synthetic approach
• The Category-Theoretic Solution of Recursive Domain Equations
• Data Types as Lattices
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Codatatypes in ML