Title: A General Fine-Grained Reduction Theory for Effect Handlers
Authors: Filip Sieczkowski and Mateusz Pyzik and Dariusz Biernacki
Journal: Proceedings of the ACM on Programming Languages (PACMPL)(tom: 7, Issue ICFP, strony: 511--540), Wydawca:Association for Computing Machinery New York, NY, United States
Publication type: article
DOI: 10.1145/3607848