Sciweavers

LFP
1994
85views more  LFP 1994»
13 years 6 months ago
A Practical Soft Type System for Scheme
Andrew K. Wright, Robert Cartwright
LFP
1994
86views more  LFP 1994»
13 years 6 months ago
Unrolling Lists
Zhong Shao, John H. Reppy, Andrew W. Appel
LFP
1994
129views more  LFP 1994»
13 years 6 months ago
Static Dependent Costs for Estimating Execution Time
We present the rst system for estimating and using datadependent expression execution times in a language with rst-class procedures and imperative constructs. The presence of rst-...
Brian Reistad, David K. Gifford
LFP
1994
133views more  LFP 1994»
13 years 6 months ago
Concurrent Replicating Garbage Collection
We have implemented a concurrent copying garbage collector that uses replicatinggarbage collection. In our design, the client can continuously access the heap during garbage colle...
James O'Toole, Scott Nettles
LFP
1994
113views more  LFP 1994»
13 years 6 months ago
Collecting More Garbage
We present a method, adapted to polymorphically typed functional languages, to detect and collect more garbage than existing GCs. It can be applied to strict or lazy higher order ...
Pascal Fradet
LFP
1994
87views more  LFP 1994»
13 years 6 months ago
An Efficient Implementation of Multiple Return Values in Scheme
This paper describes an implementation of the new Scheme multiple values interface. The implementation handles multiple values efficiently, with no run-time overhead for normal ca...
J. Michael Ashley, R. Kent Dybvig