公開日 Structural Subtyping and the Notion of Power Type Luca Cardelli Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages | January 1988
公開日 GRIP – a high-performance architecture for parallel graph reduction SL Peyton Jones, Chris Clack, Jon Salkild, Mark Hardie, Simon Peyton Jones Proc IFIP conference on Functional Programming Languages and Computer Architecture, Portland | September 1987
公開日 Existential Fixed-point Logic Andrea Blass, Yuri Gurevich Springer Lecture Notes in Computer Science 270 | August 1987
公開日 Expected Computation Time for Hamiltonian Path Problem Yuri Gurevich, Saharon Shelah Journal on Computing | July 1987, 巻16(3): pp. 486-502
公開日 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
公開日 Resistive Ballooning Modes and the Second Region of Stability A. Sykes, Christopher Bishop, R. J. Hastie Plasma Physics | January 1987, 巻29: pp. 719