TY  - RPRT
TI  - A Role for Dependent Types in Haskell (Extended version)
AU  - Stephanie Weirich
AU  - Pritam Choudhury
AU  - Antoine Voizard
AU  - Richard A. Eisenberg
PY  - 2019
UR  - https://arxiv.org/abs/1905.13706
ID  - 1905.13706
ER  -