NIGRON Pierre
PhD student
Team : APR
Arrival date : 11/01/2019
Tel: +33 1 44 27 88 04, Pierre.Nigron (at) nulllip6.fr
https://lip6.fr/Pierre.Nigron
Team : APR
Arrival date : 11/01/2019
- Sorbonne Université - LIP6
Boîte courrier 169
Couloir 25-26, Étage 3, Bureau 331
4 place Jussieu
75252 PARIS CEDEX 05
FRANCE
Tel: +33 1 44 27 88 04, Pierre.Nigron (at) nulllip6.fr
https://lip6.fr/Pierre.Nigron
Supervision : Pierre-Evariste DAGAND
Effectful programs and their proofs in a dependently-typed setting
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)