• Sign in
  • Sign up
conf.researchr.org / Evelyne Contejean
  • ICFP 2019 profile
  • POPL 2016 profile
  • POPL 2019 profile
  • POPL 2021 profile

Registered user since Mon 5 Nov 2018

Name: Evelyne Contejean

Contributions

CPP 2021 Author of A Coq Formalization of Data Provenance within the CPP 2021-track
CPP 2019 Author of A Coq Mechanised Formal Semantics for Realistic SQL Queries - Formally Reconciling SQL and Bag Relational Algebra within the CPP 2019-track
ICFP 2019 Committee Member in External Review Committee within the Research Papers-track
PEPM 2016 Committee Member in Program Committee within the PEPM-track

Share
xMon 19 Apr 04:35
using conf.researchr.org (v1.44.3)
Support page
Sign Up