
Registered user since Mon 16 Jan 2017
Name:Lionel Parreaux
Country:Switzerland
Affiliation:EPFL
Personal website:https://people.epfl.ch/lionel.parreaux/?lang=en
Contributions
ICFP 2020 | The Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping Made Easy (Functional Pearl) | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2020-profile
View general profile
View general profile