LISP and Functional Programming

Keyphrases

Publications

1994

Darko Stefanovic, J. Eliot B. Moss
Characterization of Object Behaviour in Standard ML of New Jersey. LISP and Functional Programming (1994)
J. Michael Ashley, R. Kent Dybvig
An Efficient Implementation of Multiple Return Values in Scheme. LISP and Functional Programming (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)
Harley Davis, Pierre Parquier, Nitsan Séniak
Talking About Modules and Delivery. LISP and Functional Programming (1994)
Stavros S. Cosmadakis
Complete Proof Systems for Algebraic Simply-Typed Terms. LISP and Functional Programming (1994)
William D. Clinger, Lars Thomas Hansen
Lambda, the Ultimate Label or a Simple Optimizing Compiler for Scheme. LISP and Functional Programming (1994)
Tyng-Ruey Chuang
A Randomized Implementation of Multiple Functional Arrays. LISP and Functional Programming (1994)
Dan C. Stefanescu, Yuli Zhou
An Equational Framework for the Flow Analysis of Higher Order Functional Programs. LISP and Functional Programming (1994)
J. H. Jacobs, Mark R. Swanson
Syntax and Semantics of a Persistent Common Lisp. LISP and Functional Programming (1994)
James W. O'Toole Jr., Scott Nettles
Concurrent Replicating Garbage Collection. LISP and Functional Programming (1994)
Pascal Fradet
Collecting More Garbage. LISP and Functional Programming (1994)
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)
Julia L. Lawall, Olivier Danvy
Continuation-Based Partial Evaluation. LISP and Functional Programming (1994)
A. V. S. Sastry, William D. Clinger
Parallel Destructive Updating in Strict Functional Languages. LISP and Functional Programming (1994)
Zhong Shao, Andrew W. Appel
Space-Efficient Closure Representations. LISP and Functional Programming (1994)
Christian Queinnec
Locality, Causality and Continuations. LISP and Functional Programming (1994)
Andrew K. Wright, Robert Cartwright
A Practical Soft Type System for Scheme. LISP and Functional Programming (1994)
Zhong Shao, John H. Reppy, Andrew W. Appel
Unrolling Lists. LISP and Functional Programming (1994)
Suresh Jagannathan, Stephen Weeks
Analyzing Stores and References in a Parallel Symbolic Language. LISP and Functional Programming (1994)
Nevin Heintze
Set-Based Analysis of ML Programs. LISP and Functional Programming (1994)
Sandip K. Biswas
In-Place Updates in the Presence of Control Operators. LISP and Functional Programming (1994)
Andrew P. Tolmach
Tag-Free Garbage Collection Using Explicit Type Parameters. LISP and Functional Programming (1994)
Proceedings of the 1994 ACM Conference on LISP and Functional Programming, Orlando, Florida, USA, 27-29 June 1994. LISP and Functional Programming (1994)
Harley Davis, Pierre Parquier, Nitsan Séniak
Sweet Harmony: The Talk/C++ Connection. LISP and Functional Programming (1994)
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)
Cordelia V. Hall
Using Hindley-Milner Type Inference to Optimise List Representation. LISP and Functional Programming (1994)
Hsianlin Dzeng, Christopher T. Haynes
Type Reconstruction for Variable-Arity Procedures. LISP and Functional Programming (1994)
Brian Reistad, David K. Gifford
Static Dependent Costs for Estimating Execution Time. LISP and Functional Programming (1994)
Jeffrey Dean, Craig Chambers
Towards Better Inlining Decisions Using Inlining Trials. LISP and Functional Programming (1994)
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)
Satish R. Thatte
Semantics of Type Classes Revisited. LISP and Functional Programming (1994)

1992