Publication Factoring an Adequacy Proof (Preliminary Report) Roy L. Crole, Andy Gordon Proceedings of the 1993 Glasgow Workshop on Functional Programming, Ayr, Scotland, 5-7 July 1993 | July 1993 ISBN: 978-3-540-19879-6 (Print) 978-1-4471-3236-3 (Online)
Publication Randomizing Reductions of Search Problems Andreas Blass, Yuri Gurevich SIAM J. on Computing | July 1993, Vol 22(5): pp. 949-975
Publication An Operational Semantics for I/O in a Lazy Functional Language Andy Gordon FPCA ’93: Conference on Functional Programming Languages and Computer Architecture, Copenhagen | June 1993 ISBN: 0-89791-595-X
Publication Processing transactions on GRIP, a parallel graph reducer G Akerholt, K Hammond, P Trinder, SL Peyton Jones, Simon Peyton Jones Proc Parallel Architectures and Languages Europe (PARLE), Munich | 1993 | Proc Parallel Architectures and Languages Europe (PARLE), Munich edition
Publication Alice and DIVER: A software architecture for building virtual environments Randy Pausch, Matthew Conway, Robert DeLIne, Rich Gossweiler, Steve Miale CHI ’93 INTERACT ’93 and CHI ’93 Conference Companion on Human Factors in Computing Systems | April 1993 ISBN: 0-89791-574-7
Publication Mike: A Distributed Object-Oriented Programming Platfrom on top of the Mach Micro-kernal Miguel Castro, Nuno Neves, Pedro Trancoso, Pedro Sousa USENIX Mach Conference (MACHNIX’93) | April 1993
Publication The Glasgow Haskell Compiler: a technical overview SL Peyton Jones, K Hammond, WD Partain, PL Wadler, CV Hall, Simon Peyton Jones Proceedings of Joint Framework for Information Technology Technical Conference, Keele | March 1993
Publication A categorized bibliography on incremental computation G. Ramalingam, Thomas Reps Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | March 1993
Publication Bounded incremental computation G. Ramalingam January 1993 PhD Thesis: University of Wisconsin at Madison | January 1993
Publication 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