Registered user since Mon 14 Feb 2022
Name:Nathanaëlle Courant
Country:France
Affiliation:INRIA
Contributions
| ML 2022 | An OCaml use case for strong call-by-need reduction | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICFP 2022-profile
View general profile
View general profile