Transporting functions across ornaments.

Pierre-variste Dagand, Conor McBride

Browse the full ICFP paper archive.