« Deductive Program Verification, 2011. ,
Document de présentation des algorithmes de Parcoursup, vol.5, p.4, 2019. ,
, Proceedings of the 22nd European Symposium on Programming. Sous la dir. de Matthias Felleisen et Philippa GaRdneR. T. 7792, pp.125-128, 2013.
« A theory of type polymorphism in programming, Journal of Computer and System Sciences, vol.17, issue.6, pp.348-375, 1978. ,
A Pragmatic Type System for Deductive Verification, 2016. ,
, The Spirit of Ghost Code, vol.48, pp.1572-8102, 2016.
,
, « How to avoid proving the absence of integer overflows, pp.94-109
A Toolchain to Produce Correct-by-Construction OCaml Programs, Rapp. tech. artifact, issue.7, 2018. ,