Proceedings of the 1994 ACM Conference on LISP and Functional Programming: Papers Presented at the Conference, Orlando, Florida, June 27-29

Front Cover
Pearson Education, 1994 - Functional programming (Computer science) - 327 pages
 

What people are saying - Write a review

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

Contents

Tagfree Garbage Collection Using Ezplicit Type Parameters
1
Garbage Collection for StronglyTyped Languages using Runtime Type Reconstruction
12
Collecting More Garbage
24
Wednesday June
29
10301200 Chaired by HENRY BAKER Nimble Computer Corp
34
Characterisation of Object Behaviour in Standard ML of New Jersey
43
A Systems Application of Standard ML
55
13301500 Chaired by JERoME CHAILLoux ILOG
65
A Randomized Implementation of Multiple Functional Arrays
173
Unrolling Lists
185
13301500 Chaired by MARK JonesYale University
196
Semantics of Type Classes Revisited
208
Complete Proof Systems for Algebraic SimplyTyped Terms
220
15301700 Chaired by MATTHIAs FELLEisen Rice University
227
Type Reconstruction for VariableArity Procedures
239
A Practical Soft Type System for Scheme
250

Using RunTime Sizes of Data Structures to Guide ParallelThread Creation
78
Locality Causality and Continuations
91
15301700 Chaired by Richard GABRIEL ParcPlace Systems Inc and Stanford
103
The TalkC++ Connection
119
An Efficient Implementation of Multiple Return Values in Scheme
140
SpaceEfficient Closure Representations
150
10301200 Chaired by DAN RABINYale University
162
Parallel Destructive Updating in Strict Functional Languages
263
Towards Better Inlining Decisions Using Inlining Trials
273
Inplace Updates in the Presence of Control Operators
283
10301200 Chaired by CARL GUNTERUniversity of Pennsylvania
294
SetBased Analysis of ML Programs
306
An Equational Framework for the Flow Analysis of HigherOrder Functional Programs
318
Copyright

Common terms and phrases

Popular passages

Page 317 - N. Jones, C. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation.

Bibliographic information