A design for warm fusion

This is a rather old paper, and I don’t have the Latex source. However I’ve scanned it, and here’s the result.  The paper is not in the post-published Springer-Verlag proceedings of IFL 1998, so I think we probably didn’t do the work to turn the draft into properly publishable paper.

Here, too, is Laszlo’s thesis “Catamorphism-based program transformations for non-strict functional languages“, which gives a much more detailed exposition of warm fusion.