Karl-Filip Faxén Optimizing Lazy Functional Programs Using Flow Inference 136-153 conf/sas/95 SAS 1995 db/conf/sas/sas95.html#Faxen95