How to Declare an Imperative (1997)

by P Wadler
Venue:ACM Computing Surveys