Stackability in the Simply-Typed Call-by-Value Lambda Calculus

Anindya Banerjee, David A. Schmidt. Stackability in the Simply-Typed Call-by-Value Lambda Calculus. In SAS. pages 131-146, 1994.

Abstract

Abstract is missing.