Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Roger Bosman
conf.researchr.org general profile
ICFP 2021 profile
ICFP 2022 profile
Registered user since Wed 17 Jul 2019
Name:
Roger Bosman
Contributions
2022
ICFP
Netherlands in Evaluators within the Artifact Evaluation-track
2021
ICFP
Author of Mechanizing an elaboration algorithm for the Hindley-Damas-Milner system within the Student Research Competition-track
Share
x
Tue 20 May 22:29
