Publication Monadic I/O in Haskell 1.3 Andy Gordon, Kevin Hammond Proceedings of the Haskell Workshop, June 25, 1995, Yale University Research Report YALEU/DCS/RR-1075 | June 1995
Publication Semantic Foundations of Binding-Time Analysis for Imperative Programs Manuvir Das, Thomas Reps, Pascal Van Hentenryck PEPM ’95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation | June 1995 ISBN: 0-89791-720-0
Publication A Critique of ANSI SQL Isolation Levels Hal Berenson, Phil Bernstein, Jim Gray, Jim Melton, Elizabeth O'Neil, Patrick O'Neil MSR-TR-95-51 | June 1995
Publication Dynamic Typing and Subtype Inference Alexander Aiken, Manuel Fahndrich Proceedings of the 1995 Conference on Functional Programming Languages and Computer Architecture | June 1995 Proceedings of the 1995 Conference on Functional Programming Languages and Computer Architecture
Publication Better Static Memory Management: Improving region-based analysis of higher-order languages Alexander Aiken, Manuel Fahndrich, Raph Levien Proceedings of the 1995 ACM SIGPLAN Conference on Programming Language Design and Implementation | June 1995 Proceedings of the 1995 ACM SIGPLAN Conference on Programming Language Design and Implementation
Publication Meta-programming with Theory Systems Jonas Barklund, Katrin Boberg, Pierangelo Dell'Acqua, Margus Veanes 106 | May 1995 This paper appears as a chapter in Metalogics and Logic Programming, edited by K. Apt and F. Turini, and published by MIT Press in 1995.
Publication Alice: Rapid prototyping system for virtual reality Randy Pausch, Tommy Burnette, A.C. Capeheart, Matthew Conway, Dennis Cosgrove, Robert DeLIne, Jim Durbin, Rich Gossweiler, Shuichi Koga, Jeff White IEEE Computer Graphics and Applications | May 1995, Vol 15: pp. 8-11
Publication Abstractions for software architecture and tools to support them Mary Shaw, Robert DeLine, Daniel Klein, Theodore Ross, David Young, Gregory Zelesnik, Robert DeLIne IEEE Transactions on Software Engineering | April 1995, Vol 21(4): pp. 314-335
Publication Bisimilarity as a Theory of Functional Programming Andy Gordon MFPS XI, Mathematical Foundations of Programming Semantics, Eleventh Annual Conference | March 1995
Publication Structure and Chance: Melding Logic and Probability for Software Debugging Lisa Burnell, Eric Horvitz MSR-TR-95-12 | February 1995