Marek Materzok

Publication Activity (10 Years)

Years Active: 2011-2022
Publications (10 Years): 2

Top Topics

Term Rewrite Systems

Lateral Inhibition

Top Venues

Proc. ACM Program. Lang.

Publications

Marek Materzok
Generating circuits with generators. Proc. ACM Program. Lang. 6 (ICFP) (2022)
Marek Materzok
DigitalJS: a Visual Verilog Simulator for Teaching. CSERC (2019)
Marek Materzok
Easyprove: a tool for teaching precise reasoning. CoRR (2015)
Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Marek Materzok
Proving termination of evaluation for System F with control operators. COS (2013)
Marek Materzok
Axiomatizing Subtyped Delimited Continuations. CSL (2013)
Marek Materzok, Dariusz Biernacki
A Dynamic Interpretation of the CPS Hierarchy. APLAS (2012)
Marek Materzok, Dariusz Biernacki
Subtyping delimited continuations. ICFP (2011)