A Lambda Calculus with Coroutines and Heapless, Directly-Called Closures February 25, 2023 by Comments