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
Publication Grasping Visual Symmetry A. Blake, M. Taylor, A. Cox, Andrew Blake, Mike Taylor Proc. 4th Int. Conf. on Computer Vision | January 1993
Publication 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
Publication Cycletrees: a Novel Class of Interconnection Graphs Margus Veanes January 1993 January 1993
Publication Measuring the effectiveness of a simple strictness analyser Simon Peyton Jones, Will Partain January 1993, pp. 201-220 Functional Programming, Glasgow 1993