Recursion Schemes in Coq. - Kosuke Murata; Kento Emoto (APLAS, 2019)