Compilation of functional languages by program transformation (1991)

by P Fradet, D Le Métayer
Venue:ACM Transactions on Programming Languages and Systems