Pierre-Evariste Dagand. The essence of ornaments. Journal of Functional Programming,
Cambridge University Press (CUP), 2017, 27, (10.1017/S0956796816000356). (hal-01461209)
https://www.irif.fr/~dagand/, 2021-11-22
Information trouvée : Informaticien. Chargé de recherches CNRS, membre du pôle Preuves, programmes et systèmes
(PPS), Institut de recherche en informatique fondamentale (IRIF, UMR 8243), Université
de Paris