Mads Tofte Region Inference for Higher-Order Functional Languages 19-20 conf/sas/95 SAS 1995 db/conf/sas/sas95.html#Tofte95