Anindya Banerjee, David A. Schmidt. Stackability in the Simply-Typed Call-by-Value Lambda Calculus. In SAS. pages 131-146, 1994.
@inproceedings{BanerjeeS94, title = {Stackability in the Simply-Typed Call-by-Value Lambda Calculus}, author = {Anindya Banerjee and David A. Schmidt}, year = {1994}, researchr = {https://researchr.org/publication/BanerjeeS94}, cites = {0}, citedby = {0}, pages = {131-146}, booktitle = {SAS}, }