Ayaz Hafiz personal blog
A Lambda Calculus with Coroutines and Heapless, Directly-Called Closures
co_lc is a lambda calculus extended with stackful coroutines. An efficient implementation for the compilation and virtual machine execution of co_lc is presented. The implementation supports tail-call optimization and eliminates all indirect calls by defunctionalizing closures.
- Points
- 129
- HN comments
- 23
- Submissions
- 1
- Cited by
- 0 commenters
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Feb 25, 2023 | A Lambda Calculus with Coroutines and Heapless, Directly-Called Closures by UncleOxidant | 129 | 23 |
