@inproceedings{Lochbihler2017ITP,
author = {Andreas Lochbihler},
title = {Effect polymorphism in higher-order logic (proof pearl)},
editor = {Mauricio Ayala-Rinc{\'o}n and C{\'e}sar A. Mu{\~{n}}oz},
booktitle = {Interactive Theorem Proving (ITP 2017)},
year = 2017,
publisher = {Springer},
pages = {389--409},
doi = {10.1007/978-3-319-66107-0_25},
series = {LNCS},
volume = 10499,
}