| 1994 | A Functional Theory of Local Names. Martin Odersky |
| 1994 | A Generic Account of Continuation-Passing Styles. John Hatcliff, Olivier Danvy |
| 1994 | A Needed Narrowing Strategy. Sergio Antoy, Rachid Echahed, Michael Hanus |
| 1994 | A Staging Calculus and its Application to the Verification of Translators. Robert Muller |
| 1994 | A Type System for Prototyping Languages. Dinesh Katiyar, David C. Luckham, John C. Mitchell |
| 1994 | A Type-Theoretic Approach to Higher-Order Modules with Sharing. Robert Harper, Mark Lillibridge |
| 1994 | An Incremental Algorithm for Maintaining the Dominator Tree of a Reducible Flowgraph. G. Ramalingam, Thomas W. Reps |
| 1994 | An Operational Framework for Value-Passing Processes. Rance Cleaveland, Daniel Yankelevich |
| 1994 | Analyzing Logic Programs with Dynamic Scheduling. Kim Marriott, Maria J. García de la Banda, Manuel V. Hermenegildo |
| 1994 | Automated Synthesis of Interface Adapters for Reusable Classes. Satish Thatté |
| 1994 | Building Interpreters by Composing Monads. Guy L. Steele Jr. |
| 1994 | CHOCOLATE: Calculi of Higher Order COmmunication and LAmbda TErms. Bard Bloom |
| 1994 | Call Forwarding: A Simple Interprocedural Optimization Technique for Dynamically Typed Languages. Koenraad De Bosschere, Saumya K. Debray, David Gudeman, Sampath Kannan |
| 1994 | Combinations of Abstract Domains for Logic Programming. Agostino Cortesi, Baudouin Le Charlier, Pascal Van Hentenryck |
| 1994 | Combinatory Representation of Mobile Processes. Kohei Honda, Nobuko Yoshida |
| 1994 | Composing Tree Attributions. John Boyland, Susan L. Graham |
| 1994 | Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, Oregon, USA, January 17-21, 1994 Hans-Juergen Boehm, Bernard Lang, Daniel M. Yellin |
| 1994 | Correctness of Trap-Based Breakpoint Implementations. Norman Ramsey |
| 1994 | Decidable Bounded Quantification. Giuseppe Castagna, Benjamin C. Pierce |
| 1994 | Deriving Algorithms From Type Inference Systems: Application to Strictness Analysis. Chris Hankin, Daniel Le Métayer |
| 1994 | Detecting Pipeline Structural Hazards Quickly. Todd A. Proebsting, Christopher W. Fraser |
| 1994 | Dominators, Super Blocks, and Program Coverage. Hiralal Agrawal |
| 1994 | Formally Optimal Boxing. Fritz Henglein, Jesper Jørgensen |
| 1994 | From Lambda-sigma to Lambda-upsilon a Journey Through Calculi of Explicit Substitutions. Pierre Lescanne |
| 1994 | Higher-Order Concurrent Programs with Finite Communication Topology. Hanne Riis Nielson, Flemming Nielson |
| 1994 | Higher-Order Equational Logic Programming. Zhenyu Qian |
| 1994 | Implementation of the Typed Call-by-Value lambda-Calculus using a Stack of Regions. Mads Tofte, Jean-Pierre Talpin |
| 1994 | Lazy Array Data-Flow Dependence Analysis. Vadim Maslov |
| 1994 | Manifest Types, Modules, and Separate Compilation. Xavier Leroy |
| 1994 | Memory Subsystem Performance of Programs Using Copying Garbage Collection. Amer Diwan, David Tarditi, J. Eliot B. Moss |
| 1994 | Multi-Pass Execution of Functional Logic Programs. Jukka Paakki |
| 1994 | Portable, Unobtrusive Garbage Collection for Multiprocessor Systems. Damien Doligez, Georges Gonthier |
| 1994 | Proving Concurrent Constraint Programs Correct. Frank S. de Boer, Maurizio Gabbrielli, Elena Marchiori, Catuscia Palamidessi |
| 1994 | Reducing Indirect Function call Overhead in C++ Programs. Brad Calder, Dirk Grunwald |
| 1994 | Representing Monads. Andrzej Filinski |
| 1994 | Selective and Lightweight Closure Conversion. Mitchell Wand, Paul Steckler |
| 1994 | Soft Typing with Conditional Types. Alexander Aiken, Edward L. Wimmers, T. K. Lakshman |
| 1994 | The Revival Transformation. Lawrence Feigen, David Klappholz, Robert Casazza, Xing Xue |
| 1994 | The Typed Polymorphic Label-Selective lambda-Calculus. Jacques Garrigue, Hassan Aït-Kaci |
| 1994 | Value Dependence Graphs: Representation without Taxation. Daniel Weise, Roger F. Crew, Michael D. Ernst, Bjarne Steensgaard |