论文与出版物 Generational garbage collection for Haskell PM Sansom, SL Peyton Jones, Simon Peyton Jones January 1993, pp. 106-116 ACM Conference on Functional Programming and Computer Architecture (FPCA'93)
论文与出版物 Extended Lapped Transforms: Properties, Applications, and Fast Algorithms Henrique S. Malvar, Henrique S. Malvar IEEE Transactions in Acoustics, Speech, and Signal Processing | November 1992
论文与出版物 Authentication in Distributed Systems: Theory and Practice Butler Lampson, Martin Abadi, Michael Burrows, Edward Wobber ACM Transactions on Computer Systems | November 1992, 第 10 卷: pp. 265-310
论文与出版物 The Formal Definition of a Synchronous Hardware-Description Language in Higher Order Logic Andy Gordon IEEE 1992 International Conference on Computer Design: VLSI in Computers and Processors | October 1992
论文与出版物 “Software Clercks (Clerks)” Mike Schroeder 5th ACM SIGOPS European Workshop: Models and Pardigms for Distributed Systems Structuring | September 1992
论文与出版物 Functional Programming and Input/Output Andy Gordon August 1992 博士论文：Cambridge University Press | August 1992
论文与出版物 Implementing Lazy Functional Languages on Stock Hardware: The Spineless Tagless G-machine Peyton Jones, Simon L, Simon Peyton Jones Journal of Functional Programming | July 1992, 第 2 卷: pp. 127-202
论文与出版物 Strictness Logic and Polymorphic Invariance Nick Benton Proceedings of the 2nd International Symposium on Logical Foundations of Computer Science | July 1992
论文与出版物 Experience with Embedding Hardware Description Languages in HOL Richard J. Boulton, Andy Gordon, Michael J. C. Gordon, John Harrison, John Herbert, John Van Tassel Proceedings of the IFIP TC10/WG 10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice and Experience | June 1992 ISBN: 0-444-89686-4
论文与出版物 No Assembly Required: Compiling Standard ML to C David Tarditi, Peter Lee, Anurag Acharya ACM Lett. Program. Lang. Syst. | June 1992, 第 1 卷: pp. 161-177
