Generic functional programming with types and relations

DOI10.1017/S0956796800001556zbMath0848.68013MaRDI QIDQ4880524

Richard S. Bird, Oege de Moor, Paul F. Hoogendijk

Publication date: 21 August 1996

Published in: Journal of Functional Programming (Search for Journal in Brave)

zbMATH Keywords

generic functional program

Mathematics Subject Classification ID

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

Related Items (5)

Convexity via Weak Distributive Laws ⋮ Programming from Galois connections ⋮ Derivable Type Classes ⋮ Final Dialgebras: From Categories to Allegories ⋮ Incremental Computing with Abstract Data Structures

Cites Work

• Data structures and program transformation
• Deforestation: Transforming programs to eliminate trees
• Algebraic specification of data types: A synthetic approach
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Generic functional programming with types and relations