Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Evelyne Contejean
conf.researchr.org general profile
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
x
Mon 19 Apr 04:35