Publication Measuring the effectiveness of a simple strictness analyser Simon Peyton Jones, Will Partain January 1993, pp. 201-220 Published by Springer, January 1993 Functional Programming, Glasgow 1993
Publication Grasping Visual Symmetry A. Blake, M. Taylor, A. Cox, Andrew Blake, Mike Taylor Proc. 4th Int. Conf. on Computer Vision | January 1993
Publication Authentication in Distributed Systems: Theory and Practice Butler Lampson, Martin Abadi, Michael Burrows, Edward Wobber ACM Transactions on Computer Systems | November 1992, Vol 10: pp. 265-310
Publication Extended Lapped Transforms: Properties, Applications, and Fast Algorithms Henrique S. Malvar, Henrique S. Malvar IEEE Transactions in Acoustics, Speech, and Signal Processing | November 1992
Publication 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
Publication “Software Clercks (Clerks)” Mike Schroeder 5th ACM SIGOPS European Workshop: Models and Pardigms for Distributed Systems Structuring | September 1992
Publication Functional Programming and Input/Output Andy Gordon August 1992 PhD Thesis: Cambridge University Press | August 1992
Publication 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, Vol 2: pp. 127-202
Publication Strictness Logic and Polymorphic Invariance Nick Benton Proceedings of the 2nd International Symposium on Logical Foundations of Computer Science | July 1992
Publication 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