Travelled to:1 × France
Collaborated with:M.Lasson B.Ekici A.Mebsout C.Tinelli G.Katz A.Reynolds C.W.Barrett N.Swamy C.Hritcu A.Rastogi Antoine Delignat-Lavaud Simon Forest K.Bhargavan C.Fournet P.Strub Markulf Kohlweiss Jean Karim Zinzindohoue S.Z.Béguelin
Talks about:smt (2) coq (2) parametr (1) solver (1) integr (1) impred (1) effect (1) depend (1) multi (1) monad (1)
Person: Chantal Keller
DBLP: Keller:Chantal
Contributed to:
2012
2017
2016Wrote 3 papers:
- CSL-2012-KellerL #parametricity
- Parametricity in an Impredicative Sort (CK, ML), pp. 381–395.
- CAV-2017-EkiciMTKKRB #coq #named #plugin #smt
- SMTCoq: A Plug-In for Integrating SMT Solvers into Coq (BE, AM, CT, CK, GK, AR, CWB), pp. 126–133.
- POPL-2016-SwamyHKRDFBFSKZ #dependent type #multi
- Dependent types and multi-monadic effects in F (NS, CH, CK, AR, ADL, SF, KB, CF, PYS, MK, JKZ, SZB), pp. 256–270.