A systematic study of functional language implementations (1998)

by R Douence, P Fradet
Venue:ACM Trans. on Prog. Lang. and Sys