Codatatypes in ML

DOI10.1016/S0747-7171(89)80065-3MaRDI QIDQ908682zbMATH OpenFDO

Authors Tatsuya Hagino

Publication date 1989

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

zbMATH Keywords

datatypesfunctional programming language

Mathematics Subject Classification ID

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

Recommendations

• Encoding types in ML-like languages
• Encoding types in ML-like languages
• Indexed codata types
• scientific article; zbMATH DE number 587794
• scientific article; zbMATH DE number 937839
• Data types à la carte
• Introducing datatypes in DL-Lite
• scientific article; zbMATH DE number 4111987
• Explaining ML Type Errors by Data Flows

Cites work

• scientific article; zbMATH DE number 3821084 (Why is no real title available?)
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 4010480 (Why is no real title available?)
• scientific article; zbMATH DE number 4047683 (Why is no real title available?)
• scientific article; zbMATH DE number 4048997 (Why is no real title available?)
• scientific article; zbMATH DE number 3714904 (Why is no real title available?)
• scientific article; zbMATH DE number 43015 (Why is no real title available?)
• scientific article; zbMATH DE number 3479107 (Why is no real title available?)
• scientific article; zbMATH DE number 3582349 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Algebraic specification of data types: A synthetic approach
• Category theory and computer programming. Tutorial and Workshop, Guildford, U.K., September 16-20, 1985. Proceedings
• Data Types as Lattices
• Edinburgh LCF. A mechanized logic of computation
• Logic and Computation
• The Category-Theoretic Solution of Recursive Domain Equations
• Topoi. The categorial analysis of logic

Cited in

(5)

• Undecidability of equality for codata types
• Swinging types=functions+relations+transition systems
• Coalgebras as types determined by their elimination rules
• Interactive programming in Agda -- objects and graphical user interfaces
• Strong categorical datatypes II: A term logic for categorical programming

Describes a project that uses

Uses Software

• Cambridge LCF

This page was built for publication: Codatatypes in ML

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q908682)