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 yet
Name:
Mário Pereira
Affiliation:
LRI - Université Paris-Sud
Contributions
2025
SPLASH
Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
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
Thu 21 Nov 12:59