Revisiting Catamorphisms over Datatypes with Embedded Functions (or, Programs from Outer Space) (1996)

Cached

Download Links

by Leonidas Fegaras , Tim Sheard
Venue:In Conf. Record 23rd ACM SIGPLAN/SIGACT Symp. on Principles of Programming Languages, POPL’96, St. Petersburg Beach
Citations:55 - 3 self