Programming languages and software engineering

Rod Burstall, Butler Lampson

International Symposium on Semantics of Data Types | September 1984

Also Digital SRC Research Report 1, September 1984. A later version appeared as "Pebble: A kernel language for modules and abstract data types" in Information and Computation 76, 2/3 (Feb./Mar. 1988), pp 278-346

Yuri Gurevich

“Computation and Proof Theory” (Ed. M. Richter et al.) Springer Lecture Notes in Math | July 1984, Vol 1104: pp. 175-216

Yuri Gurevich, H. R. Lewis

Journal of Symbolic Logic | July 1984, Vol 49: pp. 184-191

Yuri Gurevich, Saharon Shelah

July 1984

Andreas Blass, Yuri Gurevich

Springer Lecture Notes in Computer Science | April 1984, Vol 171: pp. 24-42

Yuri Gurevich

Information and Control 61 | April 1984, Vol 61: pp. 65-74

Simon Peyton Jones

MSR-TR-2016-70 | January 1984

INDRA Note 1530, University College London

Yuri Gurevich

24th Annual Symposium on Foundations of Computer Science IEEE Computer Society Press | October 1983

A. M. W. Glass, Yuri Gurevich

Transactions of American Mathematics Society | October 1983, Vol 280: pp. 127-138

Butler Lampson

9th ACM Symposium on Operating Systems Principles | October 1983

ACM SigOps Hall of Fame award 2005. A classic study of experience building large systems, distilled into a cookbook of wisdom for the operating systems researcher. As time has passed, the value of these hints has only grown and the range of systems to which they apply enlarged.

ACM Operating Systems Rev. 15, 5 (Oct. 1983). A slightly revised version was reprinted in IEEE Software 1, 1 (Jan. 1984), pp 11-28