- 1994
- Shail Aditya, Christine H. Flood, James E. Hicks:
Garbage Collection for Strongly-Typed Languages Using Run-Time Type Reconstruction. LISP and Functional Programming 1994: 12-23 - J. Michael Ashley, R. Kent Dybvig:
An Efficient Implementation of Multiple Return Values in Scheme. LISP and Functional Programming 1994: 140-149 - Edoardo Biagioni, Robert Harper, Peter Lee, Brian Milnes:
Signatures for a Network Protocol Stack: A Systems Application of Standard ML. LISP and Functional Programming 1994: 55-64 - Sandip K. Biswas:
In-Place Updates in the Presence of Control Operators. LISP and Functional Programming 1994: 283-293 - Tyng-Ruey Chuang:
A Randomized Implementation of Multiple Functional Arrays. LISP and Functional Programming 1994: 173-184 - William D. Clinger, Lars Thomas Hansen:
Lambda, the Ultimate Label or a Simple Optimizing Compiler for Scheme. LISP and Functional Programming 1994: 128-139 - Stavros S. Cosmadakis:
Complete Proof Systems for Algebraic Simply-Typed Terms. LISP and Functional Programming 1994: 220-226 - Harley Davis, Pierre Parquier, Nitsan Séniak:
Talking About Modules and Delivery. LISP and Functional Programming 1994: 113-120 - Harley Davis, Pierre Parquier, Nitsan Séniak:
Sweet Harmony: The Talk/C++ Connection. LISP and Functional Programming 1994: 121-127 - Jeffrey Dean, Craig Chambers:
Towards Better Inlining Decisions Using Inlining Trials. LISP and Functional Programming 1994: 273-282 - Hsianlin Dzeng, Christopher T. Haynes:
Type Reconstruction for Variable-Arity Procedures. LISP and Functional Programming 1994: 239-249 - Pascal Fradet:
Collecting More Garbage. LISP and Functional Programming 1994: 24-33 - Cordelia V. Hall:
Using Hindley-Milner Type Inference to Optimise List Representation. LISP and Functional Programming 1994: 162-172 - Nevin Heintze:
Set-Based Analysis of ML Programs. LISP and Functional Programming 1994: 306-317 - Lorenz Huelsbergen, James R. Larus, Alexander Aiken:
Using the Run-Time Sizes of Data Structures to Guide Parallel-Thread Creation. LISP and Functional Programming 1994: 79-90 - J. H. Jacobs, Mark R. Swanson:
Syntax and Semantics of a Persistent Common Lisp. LISP and Functional Programming 1994: 103-112 - Suresh Jagannathan, Stephen Weeks:
Analyzing Stores and References in a Parallel Symbolic Language. LISP and Functional Programming 1994: 294-305 - A. J. Kfoury, J. B. Wells:
A Direct Algorithm for Type Inference in the Rank-2 Fragment of the Second-Order lambda-Calculus. LISP and Functional Programming 1994: 196-207 - Julia L. Lawall, Olivier Danvy
:
Continuation-Based Partial Evaluation. LISP and Functional Programming 1994: 227-238 - James W. O'Toole Jr., Scott Nettles:
Concurrent Replicating Garbage Collection. LISP and Functional Programming 1994: 34-42 - Christian Queinnec:
Locality, Causality and Continuations. LISP and Functional Programming 1994: 91-102 - Brian Reistad, David K. Gifford:
Static Dependent Costs for Estimating Execution Time. LISP and Functional Programming 1994: 65-78 - A. V. S. Sastry, William D. Clinger:
Parallel Destructive Updating in Strict Functional Languages. LISP and Functional Programming 1994: 263-272 - Zhong Shao, Andrew W. Appel:
Space-Efficient Closure Representations. LISP and Functional Programming 1994: 150-161 - Zhong Shao, John H. Reppy, Andrew W. Appel:
Unrolling Lists. LISP and Functional Programming 1994: 185-195 - Dan C. Stefanescu, Yuli Zhou:
An Equational Framework for the Flow Analysis of Higher Order Functional Programs. LISP and Functional Programming 1994: 318-327 - Darko Stefanovic, J. Eliot B. Moss:
Characterization of Object Behaviour in Standard ML of New Jersey. LISP and Functional Programming 1994: 43-54 - Satish R. Thatte:
Semantics of Type Classes Revisited. LISP and Functional Programming 1994: 208-219 - Andrew P. Tolmach:
Tag-Free Garbage Collection Using Explicit Type Parameters. LISP and Functional Programming 1994: 1-11 - Andrew K. Wright, Robert Cartwright:
A Practical Soft Type System for Scheme. LISP and Functional Programming 1994: 250-262
