Tomasz Drab

Registered user since Fri 8 Jul 2022

Name:Tomasz Drab
Bio:

BSc 2016, MSc 2018, PhD 2022 (expected) at University of Wrocław

Country:Poland
Affiliation:University of Wrocław, Faculty of Mathematics and Computer Science
Research interests:Lambda calculus

Contributions

ICFP 2022 Author of A Simple and Efficient Implementation of Strong Call by Need by an Abstract Machine within the ICFP Papers and Events-track
APLAS 2020 Author of An Abstract Machine for Strong Call by Value within the Research Papers-track