A tail-recursive machine with stack inspection

John Clements, Matthias Felleisen. A tail-recursive machine with stack inspection. ACM Transactions on Programming Languages and Systems, 26(6):1029-1052, 2004. [doi]

Abstract

Abstract is missing.