Generic programming with fixed points for mutually recursive datatypes

DOI10.1145/1596550.1596585zbMath1302.68075OpenAlexW2167268698MaRDI QIDQ2936822

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

Publication date: 6 January 2015

Published in: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1596550.1596585

zbMATH Keywords

fixed pointsHaskelldatatype-generic programmingmutually recursive datatypes

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Abstract data types; algebraic specification (68Q65)

Related Items (3)

Hierarchy in Generic Programming Libraries ⋮ MikiBeta : A General GUI Library for Visualizing Proof Trees ⋮ Libraries for Generic Programming in Haskell

This page was built for publication: Generic programming with fixed points for mutually recursive datatypes