How to declare an imperative (1997)

by P Wadler
Venue:17 / 17 Volume 38 (2010