![Victor Lanvin](https://icfp17.sigplan.org/getProfileImage/victorlanvin/0c544cdc-b286-4e8d-8d2e-68c5d5e5d971/small.jpg?1711504443000)
Registered user since Tue 3 Jan 2017
Name:Victor Lanvin
Country:France
Affiliation:ENS Cachan, France
Personal website: http://www.dptinfo.ens-cachan.fr/~vlanvin/en.php
Research interests:Programming languages, type systems, gradual typing, set-theoretic types
Contributions
ICFP 2017-profile
View general profile
View general profile