Philip Wadler
How to Declare an Imperative
ICLP, 1995.
@inproceedings{ILPS-1995-Wadler, author = "Philip Wadler", booktitle = "{Proceedings of the International Symposium on Logic Programming}", isbn = "0-262-62099-5", pages = "18--32", publisher = "{MIT Press}", title = "{How to Declare an Imperative}", year = 1995, }