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 | |||||||||||||||||||||||||||||||||||||||||
Using general profile