Strictly capturing non-strict closures

Zachary J. Sullivan, Paul Downen, Zena M. Ariola. Strictly capturing non-strict closures. In Sam Lindley, Torben Æ. Mogensen, editors, Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM@POPL 2021, Virtual Event, Denmark, January 18-19, 2021. pages 74-89, ACM, 2021. [doi]

Abstract

Abstract is missing.