
Registered user since Mon 8 Jun 2015
Name:Gabriel Radanne
Country:France
Affiliation:Inria
Personal website:https://gabriel.radanne.net/
Research interests:Programming languages, Type system, Functional programming
Contributions
ML 2021 | Isomorphisms are back! (short talk) | ||||||||||||||||||||||||||||||||||||||||
OCaml 2021 | Wibbily Wobbly Timey Camly | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2021-profile
View general profile
View general profile