Chantal Keller

Statistics

Publications

Citations

407

H-Index

Active since

2010

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Microsoft Research (United Kingdom)

Laboratoire d'Informatique de l'École Polytechnique

IMDEA Software Institute

University of Maryland, College Park

Chantal Keller is an author at Institut national de recherche en sciences et technologies du numérique specializing in computing, computer science, and formal methods.

ORCID

Publications per year

2010–2016

Publications

Dependent types and multi-monadic effects in F*

Nikhil Swamy, Cătălin Hriţcu, Chantal Keller et al. · 2016 · 292 citations · Full text

Computing, Computer Science, Formal Methods +16

Dependent types and multi-monadic effects in F*

Nikhil Swamy, Cătălin Hriţcu, Chantal Keller et al. · ACM SIGPLAN Notices · 2016 · 36 citations

Computing, Computer Science, Formal Methods +16

Parametricity in an Impredicative Sort

Chantal Keller, Marc Lasson · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2012 · 22 citations · Full text

Computing, Computer Science, Formal Methods +9

A Certified Compiler for Verifiable Computing

Cédric Fournet, Chantal Keller, Vincent Laporte · 2016 · 19 citations

Computing, Computer Engineering, Computer Science +13

Hereditary substitutions for simple types, formalized

Chantal Keller, Thorsten Altenkirch · 2010 · 16 citations · Full text

Computing, Computer Science, Formal Methods +15

1–5 of 7