The concatenate vanishes. University of Glasgow. Unpublished (preliminary version circulated on the FP mailing list (1987)

by P Wadler
Results 1 - 1 of 1

Proving the Correctness of Recursion-Based Automatic Program Transformations

by David Sands - Theoretical Computer Science , 1996
"... This paper shows how the Improvement Theorem---a semantic condition ..."
Abstract - Cited by 27 (4 self) - Add to MetaCart
This paper shows how the Improvement Theorem---a semantic condition