Transporting functions across ornaments

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

Abstract

Abstract is missing.