A General Fine-Grained Reduction Theory for Effect Handlers
| Title: | A General Fine-Grained Reduction Theory for Effect Handlers |
|---|---|
| Authors: | Sieczkowski, Filip; Pyzik, Mateusz; Biernacki, Dariusz |
| Source: | Proceedings of the ACM on Programming Languages. 7(ICFP):511-540 |
| Availability: | http://dl.acm.org/doi/10.1145/3607848 |
| Database: | ACM Full-Text Collection |