TY  - RPRT
TI  - Transporting Functions across Ornaments
AU  - Dagand Pierre-Evariste
AU  - McBride Conor
PY  - 2012
DO  - 10.1017/s0956796814000069
UR  - https://arxiv.org/abs/1201.4801
ID  - 1201.4801
ER  -