Explicit effect subtyping.
Saved in:
| Title: | Explicit effect subtyping. |
|---|---|
| Authors: | KARACHALIAS, GEORGIOS1, georgios.karachalias@tweag.io, PRETNAR, MATIJA2, matija.pretnar@fmf.uni-lj.si, SALEH, AMR HANY3, ah.saleh@kuleuven.be, VANDERHALLEN, STIEN3, stienvdhallen@gmail.com, SCHRIJVERS, TOM3, tom.schrijvers@kuleuven.be |
| Source: | Journal of Functional Programming; 2020, Vol. 30, p1-57, 57p |
| Database: | Applied Science & Technology Source |
| ISSN: | 09567968 |
|---|---|
| DOI: | 10.1017/S0956796820000131 |
