How to Declare an Imperative.

Philip Wadler How to Declare an Imperative. 18-32 1995 ILPS db/conf/slp/slp95.html#Wadler95