Transporting functions across ornaments

Pierre-Évariste Dagand, Conor McBride. Transporting functions across ornaments. Journal of Functional Programming, 24(2-3):316-383, 2014. [doi]

Bibliographies