Deriving imperative code from functional programs (1995)

by P Quinton, S Rajopadhye, D Wilde
Venue:In 7th Conference on Functional Programming and Computer Architecture