Transporting functions across ornaments

Pierre-Évariste Dagand, Conor McBride. Transporting functions across ornaments. In Peter Thiemann, Robby Bruce Findler, editors, ACM SIGPLAN International Conference on Functional Programming, ICFP'12, Copenhagen, Denmark, September 9-15, 2012. pages 103-114, ACM, 2012. [doi]

Authors

Pierre-Évariste Dagand

This author has not been identified. Look up 'Pierre-Évariste Dagand' in Google

Conor McBride

This author has not been identified. It may be one of the following persons: Look up 'Conor McBride' in Google