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

封面
Pearson Education, 1994 - 327 頁
 

內容

Tagfree Garbage Collection Using Explicit 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
10301200 Chaired by DAN RABIN Yale University
162
A Randomized Implementation of Multiple Functional Arrays
173
Unrolling Lists
185
13301500 Chaired by MARK JONES Yale 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

Using RunTime Sizes of Data Structures to Guide ParallelThread Creation
79
Locality Causality and Continuations
91
15301700 Chaired by RICHARD GABRIEL ParcPlace Systems Inc and Stanford
103
Talking about Modules and Delivery
113
The TalkC++ Connection
121
Lambda the Ultimate Label or a Simple Optimizing Compiler for Scheme
128
An Efficient Implementation of Multiple Return Values in Scheme
140
SpaceEfficient Closure Representations
150
A Practical Soft Type System for Scheme
250
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
著作權所有

常見字詞

熱門章節

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

書目資訊