Generic Views on Data Types

DOI10.1007/11783596_14zbMath1235.68054OpenAlexW1688372159MaRDI QIDQ3618823

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

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) Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Hierarchy in Generic Programming Libraries ⋮ Transformation of structure-shy programs with application to XPath queries and strategic functions ⋮ Libraries for Generic Programming in Haskell

Uses Software

• Haskell

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