NIGRON Pierre


Team : Whisper
Invited by : Pierre-Evariste DAGAND
Arrival date : 11/01/2019
Departure date : 11/30/2019

2021 Publications

  • 2021
    • P. Nigron, P.‑E. Dagand : “Reaching for the Star: Tale of a Monad in Coq”, Leibniz International Proceedings in Informatics, vol. 193, Leibniz International Proceedings in Informatics (LIPIcs), Rome, Italy, pp. 29:1-29:19, (Schloss Dagstuhl) (2021)