Programming languages & software engineering

A. Blake, M. Taylor, A. Cox, Andrew Blake, Mike Taylor

Proc. 4th Int. Conf. on Computer Vision | January 1993

Butler Lampson, Martin Abadi, Michael Burrows, Edward Wobber

ACM Transactions on Computer Systems | November 1992, 巻10: pp. 265-310

Henrique S. Malvar, Henrique S. Malvar

IEEE Transactions in Acoustics, Speech, and Signal Processing | November 1992

Andy Gordon

IEEE 1992 International Conference on Computer Design: VLSI in Computers and Processors | October 1992

Mike Schroeder

5th ACM SIGOPS European Workshop: Models and Pardigms for Distributed Systems Structuring | September 1992

Andy Gordon

August 1992

博士論文:Cambridge University Press | August 1992

Peyton Jones, Simon L, Simon Peyton Jones

Journal of Functional Programming | July 1992, 巻2: pp. 127-202

Nick Benton

Proceedings of the 2nd International Symposium on Logical Foundations of Computer Science | July 1992

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

David Tarditi, Peter Lee, Anurag Acharya

ACM Lett. Program. Lang. Syst. | June 1992, 巻1: pp. 161-177