Codatatypes in ML
From MaRDI portal
Publication:908682
DOI10.1016/S0747-7171(89)80065-3zbMATH Open0693.68012MaRDI QIDQ908682FDOQ908682
Authors: Tatsuya Hagino 
Publication date: 1989
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
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
- Edinburgh LCF. A mechanized logic of computation
- Logic and Computation
- Topoi. The categorial analysis of logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- The Category-Theoretic Solution of Recursive Domain Equations
- Title not available (Why is that?)
- Data Types as Lattices
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Algebraic specification of data types: A synthetic approach
- Title not available (Why is that?)
- Title not available (Why is that?)
- Category theory and computer programming. Tutorial and Workshop, Guildford, U.K., September 16-20, 1985. Proceedings
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (5)
Uses Software
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)
