Imperative Functional Programming (1993)

by S Peyton-Jones, P Wadler
Venue:In Proc. POPL Conf