| 1994 | Higher-Order Equational Logic Programming. | Zhenyu Qian |
| 1994 | Detecting Pipeline Structural Hazards Quickly. | Todd A. Proebsting, Christopher W. Fraser |
| 1994 | Multi-Pass Execution of Functional Logic Programs. | Jukka Paakki |
| 1994 | A Functional Theory of Local Names. | Martin Odersky |
| 1994 | Higher-Order Concurrent Programs with Finite Communication Topology. | Hanne Riis Nielson, Flemming Nielson |
| 1994 | A Staging Calculus and its Application to the Verification of Translators. | Robert Muller |
| 1994 | Lazy Array Data-Flow Dependence Analysis. | Vadim Maslov |
| 1994 | Analyzing Logic Programs with Dynamic Scheduling. | Kim Marriott, Maria J. Garca de la Banda, Manuel V. Hermenegildo |
| 1994 | From Lambda-sigma to Lambda-upsilon a Journey Through Calculi of Explicit Substitutions. | Pierre Lescanne |
| 1994 | Manifest Types, Modules, and Separate Compilation. | Xavier Leroy |
| 1994 | A Type System for Prototyping Languages. | Dinesh Katiyar, David C. Luckham, John C. Mitchell |
| 1994 | Combinatory Representation of Mobile Processes. | Kohei Honda, Nobuko Yoshida |
| 1994 | Formally Optimal Boxing. | Fritz Henglein, Jesper Jrgensen |
| 1994 | A Generic Account of Continuation-Passing Styles. | John Hatcliff, Olivier Danvy |
| 1994 | A Type-Theoretic Approach to Higher-Order Modules with Sharing. | Robert Harper, Mark Lillibridge |
| 1994 | Deriving Algorithms From Type Inference Systems: Application to Strictness Analysis. | Chris Hankin, Daniel Le Mtayer |
| 1994 | The Typed Polymorphic Label-Selective lambda-Calculus. | Jacques Garrigue, Hassan At-Kaci |
| 1994 | Representing Monads. | Andrzej Filinski |
| 1994 | The Revival Transformation. | Lawrence Feigen, David Klappholz, Robert Casazza, Xing Xue |
| 1994 | Portable, Unobtrusive Garbage Collection for Multiprocessor Systems. | Damien Doligez, Georges Gonthier |
| 1994 | Memory Subsystem Performance of Programs Using Copying Garbage Collection. | Amer Diwan, David Tarditi, J. Eliot B. Moss |
| 1994 | Combinations of Abstract Domains for Logic Programming. | Agostino Cortesi, Baudouin Le Charlier, Pascal Van Hentenryck |
| 1994 | An Operational Framework for Value-Passing Processes. | Rance Cleaveland, Daniel Yankelevich |
| 1994 | Decidable Bounded Quantification. | Giuseppe Castagna, Benjamin C. Pierce |
| 1994 | Reducing Indirect Function call Overhead in C++ Programs. | Brad Calder, Dirk Grunwald |