论文与出版物 Bounded incremental computation G. Ramalingam January 1993 博士论文:University of Wisconsin at Madison | January 1993
论文与出版物 Imperative functional programming Simon Peyton Jones, PL Wadler 20th ACM Symposium on Principles of Programming Languages (POPL’93) | January 1993 POPL 2003: ten-year most-influential paper award
论文与出版物 A short cut to deforestation A Gill, J Launchbury, SL Peyton Jones, Simon Peyton Jones ACM Conference on Functional Programming and Computer Architecture (FPCA’93) | January 1993 ISBN 0-89791-595-X
论文与出版物 A Term Calculus for Intuitionistic Linear Logic Nick Benton, Gavin Bierman, Valeria de Paiva, Martin Hyland Proceedings of the International Conference on Typed Lambda Calculi and Applications (TLCA) | January 1993
论文与出版物 Generational garbage collection for Haskell PM Sansom, SL Peyton Jones, Simon Peyton Jones January 1993, pp. 106-116 作者:ACM Press, January 1993 ACM Conference on Functional Programming and Computer Architecture (FPCA'93)
论文与出版物 Measuring the effectiveness of a simple strictness analyser Simon Peyton Jones, Will Partain January 1993, pp. 201-220 作者:Springer, January 1993 Functional Programming, Glasgow 1993
论文与出版物 Grasping Visual Symmetry A. Blake, M. Taylor, A. Cox, Andrew Blake, Mike Taylor Proc. 4th Int. Conf. on Computer Vision | January 1993
论文与出版物 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
论文与出版物 Extended Lapped Transforms: Properties, Applications, and Fast Algorithms Henrique S. Malvar, Henrique S. Malvar IEEE Transactions in Acoustics, Speech, and Signal Processing | November 1992