Generic Views on Data Types

DOI10.1007/11783596_14MaRDI QIDQ3618823zbMATH OpenOpenAlexFDO

Authors Stefan Holdermans, Johan Jeuring, Andres Löh, Alexey Rodriguez

Publication date 2 April 2009

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

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Abstract data types; algebraic specification (68Q65)

Recommendations

• Logical Approaches to Computational Barriers
• Generic properties of datatypes.
• Abstractions of data types
• Data types à la carte
• scientific article; zbMATH DE number 3909728
• scientific article; zbMATH DE number 4013990
• Relations between data types

Cited in

(17)

• Generic programming with fixed points for mutually recursive datatypes
• Hierarchy in generic programming libraries
• Data types à la carte
• A pattern for almost compositional functions
• “Scrap Your Boilerplate” Revolutions
• Libraries for generic programming in Haskell
• Generics for the masses
• A new approach to generic functional programming
• Dependency-style generic Haskell
• Mathematics of Program Construction
• Transformation of structure-shy programs with application to XPath queries and strategic functions
• Dynamic Construction of Generic Functions
• Programming Languages and Systems
• Generics for the masses
• A pattern for almost compositional functions
• Recent Advances in Constraints
• Generic programming in 3D

Describes a project that uses

Uses Software

• Haskell

This page was built for publication: Generic Views on Data Types

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