How to declare an imperative (invited paper (1995)

by Philip Wadler
Venue:ILPS'95: International Logic Programming Symposium