Mateusz Pyzik

According to our database, Mateusz Pyzik authored at least 5 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

A General Fine-Grained Reduction Theory for Effect Handlers.

Filip Sieczkowski, Mateusz Pyzik, Dariusz Biernacki

Proc. ACM Program. Lang., August, 2023

2022

Call-By-Name Is Just Call-By-Value with Delimited Control.

Mateusz Pyzik

Proceedings of the 38th Conference on the Mathematical Foundations of Programming Semantics, 2022

2021

Reflecting Stacked Continuations in a Fine-Grained Direct-Style Reduction Theory.

Dariusz Biernacki, Mateusz Pyzik, Filip Sieczkowski

Proceedings of the PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021

2020

A Reflection on Continuation-Composing Style.

Dariusz Biernacki, Mateusz Pyzik, Filip Sieczkowski

Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, 2020

2018

How to measure the topological quality of protein parse trees?

Mateusz Pyzik, François Coste, Witold Dyrka

Proceedings of the 14th International Conference on Grammatical Inference, 2018