Not registered as user yet
Name:Mário Pereira
Affiliation:LRI - Université Paris-Sud
Contributions
ML 2017 | VOCAL -- a verified OCAml Library | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2017-profile
View general profile
View general profile
Not registered as user yet
Contributions
ML 2017 | VOCAL -- a verified OCAml Library | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |