A hierarchy of mendler style recursion combinators

Proceeding of the 16th ACM SIGPLAN international conference on Functional programming - ICFP '11 ◽

10.1145/2034773.2034807 ◽

2011 ◽

Cited By ~ 8

Author(s):

Ki Yung Ahn ◽

Tim Sheard

Download Full-text