Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Witold Charatonik
conf.researchr.org general profile
APLAS 2020 profile
ICFP 2017 profile
ICFP 2022 profile
Not registered as user yet
Name:
Witold Charatonik
Contributions
2022
ICFP
Author of A Simple and Efficient Implementation of Strong Call by Need by an Abstract Machine within the ICFP Papers and Events-track
2020
APLAS
Author of An Abstract Machine for Strong Call by Value within the Research Papers-track
2017
FSCD
Author of Generalized Refocusing: from Hybrid Strategies to Abstract Machines within the FSCD 2017-track
Share
x
Tue 5 Dec 22:45