Inductive, coinductive, and pointed types
From MaRDI portal
Publication:2817688
DOI10.1145/232627.232640zbMath1345.68058OpenAlexW2071042586MaRDI QIDQ2817688
Publication date: 1 September 2016
Published in: Proceedings of the first ACM SIGPLAN international conference on Functional programming - ICFP '96 (Search for Journal in Brave)
Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.84.1416
Functional programming and lambda calculus (68N18) Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40)
Related Items (3)
Formal derivation of greedy algorithms from relational specifications: a tutorial ⋮ Call-by-push-value: Decomposing call-by-value and call-by-name ⋮ Undecidability of equality for codata types
This page was built for publication: Inductive, coinductive, and pointed types
