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

• 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?)
• Algebraic specification of data types: A synthetic approach
• Data structures and program transformation
• Deforestation: Transforming programs to eliminate trees

Cited in

(17)

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

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)