Type-directed continuation allocation
1998 ◽
pp. 116-135
◽