Recursion Schemes in Coq.

Kosuke Murata, Kento Emoto

Browse the full APLAS paper archive.