Deriving mixed evaluation from standard evaluation for a simple functional language (1989)

by John Hannan, Dale Miller
Venue:Proceedings of a Conference on Mathematics of Program Construction, number 375 in Lecture Notes in Computer Science