Publication Functional programming on the GRIP multiprocessor SL Peyton Jones, Chris Clack, Jon Salkild, Mark Hardie, Simon Peyton Jones IEE Seminar on Digital Parallel Processors, Lisbon, Portugal | January 1988
Publication 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
Publication 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
Publication Existential Fixed-point Logic Andrea Blass, Yuri Gurevich Springer Lecture Notes in Computer Science 270 | August 1987
Publication Expected Computation Time for Hamiltonian Path Problem Yuri Gurevich, Saharon Shelah Journal on Computing | July 1987, Vol 16(3): pp. 486-502
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