Publication The Implementation of Functional Programming Languages Simon Peyton Jones Published by Prentice Hall Internaltional (UK) Ltd. | April 1987 Chapters also by: Philip Wadler, Programming Research Group, Oxford; Peter Hancock, Metier Management Systems, Ltd.; David Turner, University of Kent, Canterbury
Publication Resistive Ballooning Modes and the Second Region of Stability A. Sykes, Christopher Bishop, R. J. Hastie Plasma Physics | January 1987, Vol 29: pp. 719
Publication Basic Polymorphic Typechecking Luca Cardelli Science of Computer Programming | January 1987, Vol 8: pp. 147-172
Publication Authentication Revisited Mike Schroeder, David K. Gifford, Roger M. Needham ACM SIGOPS Operating Systems Review | January 1987
Publication Designing a Global Name Service Butler Lampson 4th ACM Symposium on Principles of Distributed Computing | August 1986
Publication Definability by Constant-depth Polynomial-size Circuits L. Denenberg, Yuri Gurevich, S. Shelah Information and Control | April 1986, Vol 70: pp. 216-240
Publication Henkin Quantifiers and Complete Problems Andreas Blass, Yuri Gurevich Annals of Pure and Applied Logic 32 (1986), 1-16 | April 1986, Vol 32: pp. 1-16
Publication Monadic Second-order Theories Yuri Gurevich Model-Theoretical Logics eds. Jon Barwise and Sol Feferman Springer-Verlag, Perspective in Mathematical Logic | 1985