Realistic compilation by program translation {detailed summary (1989)

by R Kelsey, P Hudak
Venue:In ACM Symp. on Principles of Programming Languages