Region Inference for Higher-Order Functional Languages

Mads Tofte

Browse the full SAS paper archive.