Programming languages and software engineering

Henrique S. Malvar, Henrique S. Malvar

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

Butler Lampson, Martin Abadi, Michael Burrows, Edward Wobber

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

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

PhD Thesis: Cambridge University Press | August 1992

Peyton Jones, Simon L, Simon Peyton Jones

Journal of Functional Programming | July 1992, Vol 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, Vol 1: pp. 161-177

Simon Peyton Jones

May 1992