
Registered user since Sat 21 Nov 2015
Name:Guillaume Munch-Maccagnoni
Country:France
Affiliation:Inria
Personal website:https://guillaume.munch.name/
Contributions
OCaml 2021 | Probabilistic resource limits, or: Programming with interrupts in OCaml | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2021-profile
View general profile
View general profile