@inproceedings{DBLP:conf/fpca/LaunchburyS95,
author = {John Launchbury and
Tim Sheard},
title = {Warm Fusion: Deriving Build-Cata's from Recursive Definitions},
booktitle = {FPCA},
year = {1995},
pages = {314-323},
bibsource = {DBLP, http://dblp.uni-trier.de}
}