Deriving Structural Hylomorphisms From Recursive Definitions (1996)

by Zhenjiang Hu , Hideya Iwasaki , Masato Takeichi
Venue:IN ACM SIGPLAN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING
Citations:46 - 17 self