![](/img/cover-not-exists.png)
Explicit effect subtyping
KARACHALIAS, GEORGIOS, PRETNAR, MATIJA, SALEH, AMR HANY, VANDERHALLEN, STIEN, SCHRIJVERS, TOMVolume:
30
Year:
2020
Journal:
Journal of Functional Programming
DOI:
10.1017/S0956796820000131
File:
PDF, 637 KB
2020