BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Keller:Chantal

Contributed to:

CSL 20122012
CAV (2) 20172017
POPL 20162016

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.