Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Marek Materzok
conf.researchr.org general profile
ICFP 2022 profile
POPL 2016 profile
Not registered as user
Name:
Marek Materzok
Affiliation:
University of Wroclaw
Personal website:
http://www.tilk.eu/
Contributions
2022
ICFP
Author of Generating circuits with generators within the ICFP Papers and Events-track
2016
CoqPL
Author of Certified Desugaring of Javascript Programs using Coq within the CoqPL-track
Share
x
Mon 3 Nov 12:16