TY  - RPRT
TI  - Data-Codata Symmetry and its Interaction with Evaluation Order
AU  - David Binder
AU  - Julian Jabs
AU  - Ingo Skupin
AU  - Klaus Ostermann
PY  - 2022
UR  - https://arxiv.org/abs/2211.13004
ID  - 2211.13004
ER  -