Generic programming with fixed points for mutually recursive datatypes
- 31 August 2009
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM) in Proceedings of the 14th ACM SIGPLAN international conference on Functional programming - ICFP '09
- Vol. 44 (9), 233-244
- https://doi.org/10.1145/1596550.1596585
Abstract
No abstract availableKeywords
This publication has 27 references indexed in Scilit:
- Exploring the Regular Tree TypesLecture Notes in Computer Science, 2006
- Type-indexed data typesScience of Computer Programming, 2004
- Polytypic Programming in HaskellLecture Notes in Computer Science, 2004
- Scrap your boilerplateACM SIGPLAN Notices, 2003
- Generic downwards accumulationsScience of Computer Programming, 2000
- Generalised folds for nested datatypesFormal Aspects of Computing, 1999
- Polytypic unificationJournal of Functional Programming, 1998
- The ZipperJournal of Functional Programming, 1997
- Data structures and program transformationScience of Computer Programming, 1990
- Automatic synthesis of typed Λ-programs on term algebrasTheoretical Computer Science, 1985