Using the parametricity proposition for program fusion (1996)

by L Fegaras