How to Declare an Imperative

Philip Wadler. How to Declare an Imperative. In ILPS. pages 18-32, 1995.

Abstract

Abstract is missing.