Chantal Keller

Dependent types and multi-monadic effects in F*

Pierre-Yves Strub, Nikhil Swamy, Cédric Fournet, 2016, POPL.

SMTCoq: A Plug-In for Integrating SMT Solvers into Coq

Cesare Tinelli, Guy Katz, Alain Mebsout, 2017, CAV.

Dependent types and multi-monadic effects in F

Santiago Zanella Béguelin, K. Bhargavan, Antoine Delignat-Lavaud, 2016, POPL.

Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings

Chantal Keller, D. Beyer, 2019, Lecture Notes in Computer Science.

Proof eXchange for Theorem Proving

Louise Dubois de Prisque, Chantal Keller, P. Fontaine, 2019 .

Decidability of equality for a simply typed calculus using hereditary substitutions in Agda

Thorsten Altenkirch, Chantal Keller, 2010 .

New Results - The F* programming language

Pierre-Yves Strub, Nikhil Swamy, Cédric Fournet, 2015 .