Export Citations
1 Results for: Book/Issue: ICFP '11: Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,836,977 records)|Limit your search to The ACM Full-Text Collection (774,400 records)
Showing 1 - 1of1 Results
Select All
- research-articleSeptember 2011
A hierarchy of mendler style recursion combinators: taming inductive datatypes with negative occurrences
ICFP '11: Proceedings of the 16th ACM SIGPLAN international conference on Functional programmingPages 234–246https://doi.org/10.1145/2034773.2034807The Mendler style catamorphism (which corresponds to weak induction) always terminates even for negative inductive datatypes. The Mendler style histomorphism (which corresponds to strong induction) is known to terminate for positive inductive datatypes. ...
Also Published in:
ACM SIGPLAN Notices: Volume 46 Issue 9
