公開日 Compilation by transformation for non-strict functional languages Andre Santos, Simon Peyton Jones July 1995 博士論文:University of Glasgow | July 1995
公開日 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
公開日 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
公開日 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
公開日 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
公開日 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
公開日 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, 巻15: pp. 8-11
公開日 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.
公開日 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, 巻21(4): pp. 314-335
公開日 Bisimilarity as a Theory of Functional Programming Andy Gordon MFPS XI, Mathematical Foundations of Programming Semantics, Eleventh Annual Conference | March 1995