TY  - RPRT
TI  - The Yoneda Reduction of Polymorphic Types (Extended Version)
AU  - Paolo Pistone
AU  - Luca Tranchini
PY  - 2020
UR  - https://arxiv.org/abs/1907.03481
ID  - 1907.03481
ER  -