Leonidas Fegaras, Tim Sheard
Revisiting Catamorphisms over Datatypes with Embedded Functions (or, Programs from Outer Space)
POPL, 1996.
@inproceedings{POPL-1996-FegarasS,
author = "Leonidas Fegaras and Tim Sheard",
booktitle = "{Conference Record of the 23rd Symposium on Principles of Programming Languages}",
doi = "10.1145/237721.237792",
editor = "Hans-Juergen Boehm and Guy L. Steele Jr.",
isbn = "0-89791-769-3",
pages = "284--294",
publisher = "{ACM Press}",
title = "{Revisiting Catamorphisms over Datatypes with Embedded Functions (or, Programs from Outer Space)}",
year = 1996,
}