Principles of Program Verification for Arbitrary Monadic Effects. (Principes de la Vérification de Programmes à Effets Monadiques Arbitraires)

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},
}