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:54 - 3 self

Document Versions

Revisiting Catamorphisms over Datatypes with Embedded Functions (or, Programs from Outer Space) –Leonidas Fegaras, Tim Sheard — 1996 — In Conf. Record 23rd ACM SIGPLAN/SIGACT Symp. on Principles of Programming Languages, POPL’96, St. Petersburg Beach
Revisiting Catamorphisms over Datatypes with Embedded Functions –Leonidas Fegaras, Tim Sheard — 1996 — In Conf. Record 23rd ACM SIGPLAN/SIGACT Symp. on Principles of Programming Languages, POPL’96, St. Petersburg Beach