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
Personal website:https://ii.uni.wroc.pl/~tdr/
Research interests:Lambda calculus
Contributions
| ICFP 2022 | A Simple and Efficient Implementation of Strong Call by Need by an Abstract Machine | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICFP 2022-profile
View general profile
View general profile