Generic programming with fixed points for mutually recursive datatypes
From MaRDI portal
Publication:2936822
DOI10.1145/1596550.1596585zbMath1302.68075MaRDI 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
68N18: Functional programming and lambda calculus
68Q65: Abstract data types; algebraic specification
Related Items
Hierarchy in Generic Programming Libraries, MikiBeta : A General GUI Library for Visualizing Proof Trees, Libraries for Generic Programming in Haskell