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