Keller, Chantal
369  results:
Search for persons X
?
1

Compositional Pre-processing for Automated Reasoning in Dep..:

, In: Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs,
Blot, Valentin ; Cousineau, Denis ; Crance, Enzo... - p. 63-77 , 2023
 
?
2

Translating canonical SQL to imperative code in Coq:

Benzaken, Véronique ; Contejean, Évelyne ; Hachmaoui, Mohammed Houssem...
Proceedings of the ACM on Programming Languages.  6 (2022)  OOPSLA1 - p. 1-27 , 2022
 
?
3

A Coq formalization of data provenance:

, In: Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs,
 
?
4

On the Semantics of Polychronous Polytimed Specifications:

, In: Lecture Notes in Computer Science; Formal Modeling and Analysis of Timed Systems,
 
?
5

Tests and Proofs: 13th International Conference, TAP 2019, .. 

Programming and Software Engineering, 11823
Beyer, Dirk ; Keller, Chantal - 1st ed. 2019 . , 2019
 
?
6

SMTCoq: Mixing Automatic and Interactive Proof Technologies:

, In: Proof Technology in Mathematics Research and Teaching; Mathematics Education in the Digital Era,
Keller, Chantal - p. 73-90 , 2019
 
?
 
?
8

Dependent types and multi-monadic effects in F*:

, In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,
Swamy, Nikhil ; Hriţcu, Cătălin ; Keller, Chantal... - p. 256-270 , 2016
 
?
9

Donner des outils de vie à des jeunes en situation atypique:

, In: Critiques ou manipulés? Pour les jeunes consommateurs responsables.,
Keller, Chantal - p. 43-45 , 2014
 
?
10

PseudoWeight : Making Tabletop Interaction with Virtual ..:

, In: Proceedings of the 2012 ACM international conference on Interactive tabletops and surfaces,
 
?
11

Hereditary substitutions for simple types, formalized:

, In: Proceedings of the third ACM SIGPLAN workshop on Mathematically structured functional programming,
 
?
 
?
13

Compositional pre-processing for automated reasoning in dep..:

Blot, Valentin ; Cousineau, Denis ; Crance, Enzo...
info:eu-repo/semantics/altIdentifier/doi/10.1145/3573105.3575676.  , 2023
 
?
14

Compositional pre-processing for automated reasoning in dep..:

Blot, Valentin ; Cousineau, Denis ; Crance, Enzo...
info:eu-repo/semantics/altIdentifier/doi/10.1145/3573105.3575676.  , 2023
 
?
 
1-15