Kenji Maillard. Principles of Program Verification for Arbitrary Monadic Effects. (Principes de la Vérification de Programmes à Effets Monadiques Arbitraires). PhD thesis, École Normale Supérieure, Paris, France, 2019. [doi]
@phdthesis{hal-12930,
title = {Principles of Program Verification for Arbitrary Monadic Effects. (Principes de la Vérification de Programmes à Effets Monadiques Arbitraires)},
author = {Kenji Maillard},
year = {2019},
url = {https://tel.archives-ouvertes.fr/tel-02416788},
researchr = {https://researchr.org/publication/hal-12930},
cites = {0},
citedby = {0},
school = {École Normale Supérieure, Paris, France},
}