How to declare an imperative (invited talk (1995)

by P Wadler
Venue:In International Logic Programming Symposium