%0 Conference Paper
%B Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell  - Haskell 2019
%D 2019
%I ACM Press
%P 125-138
%R 10.1145/3331545.3342592
%T Verifying Effectful Haskell Programs in Coq
%@ 978-1-4503-6813-1