论文与出版物 On Kolmogorov Machines and Related Issues Yuri Gurevich Bulletin of the European Association for Theoretical Computer Science | June 1988, pp. 71-82
论文与出版物 A unified approach to domination problems on interval graphs G. Ramalingam, C. Pandu Rangan Journal Information Processing Letters | April 1988
论文与出版物 The Cedar File System Roger M. Needham, David K. Gifford, Mike Schroeder Communications of the ACM | March 1988
论文与出版物 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
论文与出版物 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