How to measure the topological quality of protein parse trees? - Mateusz Pyzik; François Coste; Witold Dyrka (ICGI, 2018)

A Reflection on Continuation-Composing Style. - Dariusz Biernacki; Mateusz Pyzik; Filip Sieczkowski (FSCD, 2020)

Reflecting Stacked Continuations in a Fine-Grained Direct-Style Reduction Theory. - Dariusz Biernacki; Mateusz Pyzik; Filip Sieczkowski (PPDP, 2021)

Call-By-Name Is Just Call-By-Value with Delimited Control. - Mateusz Pyzik (MFPS, 2022)

A General Fine-Grained Reduction Theory for Effect Handlers. - Filip Sieczkowski; Mateusz Pyzik; Dariusz Biernacki (Proc. ACM Program. Lang., 2023)