Marek Materzok

According to our database, Marek Materzok authored at least 7 papers between 2011 and 2022.

Collaborative distances:

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

2022

Generating circuits with generators.

Marek Materzok

Proc. ACM Program. Lang., 2022

2019

DigitalJS: a Visual Verilog Simulator for Teaching.

Marek Materzok

Proceedings of the CSERC '19: The 8th Computer Science Education Research Conference, 2019

2015

Easyprove: a tool for teaching precise reasoning.

Marek Materzok

CoRR, 2015

2013

Proving termination of evaluation for System F with control operators.

Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Marek Materzok

Proceedings of the Proceedings First Workshop on Control Operators and their Semantics, 2013

Axiomatizing Subtyped Delimited Continuations.

Marek Materzok

Proceedings of the Computer Science Logic 2013 (CSL 2013), 2013

2012

A Dynamic Interpretation of the CPS Hierarchy.

Marek Materzok, Dariusz Biernacki

Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

2011

Subtyping delimited continuations.

Marek Materzok, Dariusz Biernacki

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011