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
Name: Mário Pereira
Affiliation: LRI - Université Paris-Sud
Contributions
ML 2017 | VOCAL -- a verified OCAml Library | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |