• Sign in
  • Sign up
conf.researchr.org / Mário Pereira
  • ICFP 2017 profile
  • ICFP 2021 profile
  • ICFP/SPLASH 2025 profile
No Photo

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
xThu 22 May 16:42
using conf.researchr.org (v1.69.0)
Support page
Sign Up