Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Mário Pereira
conf.researchr.org general profile
ICFP 2017 profile
ICFP 2021 profile
ICFP/SPLASH 2025 profile
Not registered as user
Name:
Mário Pereira
Affiliation:
LRI - Université Paris-Sud
Contributions
2021
ICFP
Presenter of Deductive Verification of OCaml Programs in Cameleer within the Tutorials-track
2017
ML
Author of VOCAL -- a verified OCAml Library within the ML 2017-track
Share
x
Wed 14 May 01:52