TY  - RPRT
TI  - A Lazy Language Needs a Lazy Type System: Introducing Polymorphic Contexts
AU  - S. Doaitse Swierstra
AU  - Marcos Viera
AU  - Atze Dijkstra
PY  - 2016
UR  - https://arxiv.org/abs/1612.04610
ID  - 1612.04610
ER  -