Proceedings of the 1994 ACM Conference on LISP and Functional Programming: Papers Presented at the Conference, Orlando, Florida, June 27-29Pearson 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 |
常見字詞
abstract algorithm allocation analysis application arguments array assignment benchmarks binding cache call-with-values call/cc callee-save closure collector Common Lisp compiler concurrent cons constraints constructor continuation continuation-passing style copy cost data structures defined definition denotes dynamic e-units elist encoding environment example execution Figure frame free variables func Functional Programming garbage collection heap implementation inlining instantiated interface lambda expression lambda lifting Lemma module multiple values node objects olist operational semantics operations optimization overhead parallel parameters partial evaluation performance persistent package pointer problem procedure Programming Languages protocol recursive refinement type registers representation requires rerooting result return point run-time Scheme Section semantics sequence simple SML/NJ stack Standard ML static static type subterm symbol tail recursion Theorem thread tion transformation tuple typability type inference type reconstruction type system type variables ubytes update X-term
熱門章節
第 317 頁 - N. Jones, C. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation.