Mateusz Pyzik

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 5

Top Topics

Top Venues

Proc. ACM Program. Lang.

Publications

Filip Sieczkowski, Mateusz Pyzik, Dariusz Biernacki
A General Fine-Grained Reduction Theory for Effect Handlers. Proc. ACM Program. Lang. 7 (ICFP) (2023)
Mateusz Pyzik
Call-By-Name Is Just Call-By-Value with Delimited Control. CoRR (2022)
Dariusz Biernacki, Mateusz Pyzik, Filip Sieczkowski
Reflecting Stacked Continuations in a Fine-Grained Direct-Style Reduction Theory. PPDP (2021)
Dariusz Biernacki, Mateusz Pyzik, Filip Sieczkowski
A Reflection on Continuation-Composing Style. FSCD (2020)
Mateusz Pyzik, François Coste, Witold Dyrka
How to measure the topological quality of protein parse trees? ICGI (2018)