Anindya Banerjee David A. Schmidt Stackability in the Simply-Typed Call-by-Value Lambda Calculus. 131-146 1994 SAS db/conf/sas/sas94.html#BanerjeeS94