Sciweavers

2 search results - page 1 / 1
» TIL: A Type-Directed Optimizing Compiler for ML
Sort
View
PLDI
1996
ACM
13 years 10 months ago
TIL: A Type-Directed Optimizing Compiler for ML
David Tarditi, J. Gregory Morrisett, Perry Cheng, ...
IWMM
1998
Springer
130views Hardware» more  IWMM 1998»
13 years 10 months ago
Comparing Mostly-Copying and Mark-Sweep Conservative Collection
Many high-level language compilers generate C code and then invoke a C compiler for code generation. To date, most of these compilers link the resulting code against a conservativ...
Frederick Smith, J. Gregory Morrisett