
Registered user since Thu 14 Apr 2022
Name:Beniamino Accattoli
Affiliation:Inria & Ecole Polytechnique
Contributions
ICFP 2018 | Tight Typings and Split Bounds | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2018-profile
View general profile
View general profile