Compilation of functional languages by program transformation (1991)

by P Fradet, D Le Métayer
Venue:ACM Trans. on Prog. Lang. and Sys