Publications

[1] Alexandre Moine, Arthur Charguéraud, and François Pottier. Specification and verification of a transient stack. Submitted, September 2021. [ bib | PDF | Coq development | Abstract ]
[2] Alexandre Moine and Yann Régis-Gianas. Détection de définitions OCaml similaires. In 31ème Journées Francophones des Langages Applicatifs, JFLA, January 2020. [ bib | PDF | Abstract ]

This file was generated by bibtex2html 1.99.