Programming languages and software engineering

Nick Benton, Gavin Bierman, Valeria de Paiva, Martin Hyland

Proceedings of the International Conference on Typed Lambda Calculi and Applications (TLCA) | January 1993

PM Sansom, SL Peyton Jones, Simon Peyton Jones

January 1993, pp. 106-116

ACM Conference on Functional Programming and Computer Architecture (FPCA'93)

Simon Peyton Jones, Will Partain

January 1993, pp. 201-220

Functional Programming, Glasgow 1993

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, Vol 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

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