John Hannan A Type-based Analysis for Stack Allocation in Functional Languages 172-188 conf/sas/95 SAS 1995 db/conf/sas/sas95.html#Hannan95