Generic functional programming with types and relations

DOI10.1017/S0956796800001556MaRDI QIDQ4880524zbMATH OpenFDO

Authors 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)

Full work available at URL https://doi.org/10.1017/S0956796800001556

zbMATH Keywords

generic functional program

Mathematics Subject Classification ID

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

Recommendations

• A new approach to generic functional programming
• Generic programming with adjunctions
• scientific article; zbMATH DE number 2100542
• scientific article; zbMATH DE number 53088
• Generic programming with dependent types
• Generic programming with fixed points for mutually recursive datatypes
• A functional approach to generic programming using adaptive traversals
• Recursive and dynamic structures in generic programming

Cites work

• Algebraic specification of data types: A synthetic approach
• Data structures and program transformation
• Deforestation: Transforming programs to eliminate trees
• scientific article; zbMATH DE number 3904807 (Why is no real title available?)
• scientific article; zbMATH DE number 3967883 (Why is no real title available?)
• scientific article; zbMATH DE number 46995 (Why is no real title available?)
• scientific article; zbMATH DE number 910715 (Why is no real title available?)

Cited in

(17)

• Datatype-generic termination proofs
• Generic programming. IFIP TC2/WG2.1. Working conference on generic programming, July 11--12, 2002, Dagstuhl, Germany
• A functional approach to generic programming using adaptive traversals
• Programming from Galois connections
• Manufacturing datatypes
• Incremental computing with abstract data structures
• Generic programming with C++ concepts and Haskell type classes—a comparison
• Functional reactive types
• scientific article; zbMATH DE number 2100542 (Why is no real title available?)
• Derivable type classes
• Final Dialgebras: From Categories to Allegories
• Convexity via Weak Distributive Laws
• Generic discrimination: sorting and partitioning unshared data in linear time
• A new approach to generic functional programming
• Generic properties of datatypes.
• Logical Approaches to Computational Barriers
• High-level modelling for typed functional programming

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

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