Philip Wadler. How to Declare an Imperative. In ILPS. pages 18-32, 1995.
@inproceedings{Wadler95:0,
title = {How to Declare an Imperative},
author = {Philip Wadler},
year = {1995},
researchr = {https://researchr.org/publication/Wadler95%3A0},
cites = {0},
citedby = {0},
pages = {18-32},
booktitle = {ILPS},
}