Generic properties of datatypes.

DOI10.1007/B12027MaRDI QIDQ5187878zbMATH OpenOpenAlexFDO

Authors Paul F. Hoogendijk, Roland C. Backhouse

Publication date 9 March 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b12027

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Abstract data types; algebraic specification (68Q65)

Recommendations

• Generic functional programming with types and relations
• Logical Approaches to Computational Barriers
• Datatype-generic termination proofs
• Generic programming. IFIP TC2/WG2.1. Working conference on generic programming, July 11--12, 2002, Dagstuhl, Germany
• Generic programming with adjunctions

Cited in

(13)

• Datatype-generic termination proofs
• Iteration and coiteration schemes for higher-order and nested datatypes
• Generic programming. IFIP TC2/WG2.1. Working conference on generic programming, July 11--12, 2002, Dagstuhl, Germany
• Zippy Tabulations of Recursive Functions
• Generic Views on Data Types
• scientific article; zbMATH DE number 1086722 (Why is no real title available?)
• Transport of finiteness structures and applications
• Generic programming with adjunctions
• Generic programming with dependent types
• The gentle art of levitation
• Mathematics of Program Construction
• A formal comparison of approaches to datatype-generic programming
• Logical Approaches to Computational Barriers

This page was built for publication: Generic properties of datatypes.

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