Proceedings of the 1990 ACM Conference on LISP and Functional Programming: Papers Presented at the Conference, Nice, France, June 27-29, 1990

Front Cover
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Contents
1
Static Dependent Types for First Class Modules
20
Computing with Coercions
44
Comprehending Monads
61
Wednesday afternoon June 27th
79
Efficient Method Dispatch in PCL
99
Efficient Stack Allocation for TailRecursive Languages
106
A Parallel Virtual Machine for Efficient Scheme Compilation
119
On the Interaction of Futures and FirstClass Continuations
176
A Technique for Increasing the Granularity of Parallel Programs
185
Speculative Computation in Multilisp
198
ContinuationBased Parallel Implementation of Functional Programming Languages
209
Unify and Conquer Garbarge Updating Aliasing in Functional Languages
218
Using Projection Analysis in Compiling Lazy Functional Programs
227
A Compositional Analysis of EvaluationOrder and its Application
242
Context Information for Lazy Code Generation
251

A Functional Programming Language Compiler for Massively Parallel Computers
131
Partial Evaluation Applied to Numerical Computation
139
Abstracting Control
151
Full Abstraction for Models of Control
161
Binding Time Analysis for Higher Order Untyped Functional Languages
264
Compiling Pattern Matching by Term Decomposition
273
Partial Type Inference for Untyped Functional Programs
282
Copyright

Common terms and phrases

Bibliographic information