Rowan Davies, Frank Pfenning. Intersection types and computational effects. In ICFP. pages 198-208, 2000. [doi]
@inproceedings{DaviesP00, title = {Intersection types and computational effects}, author = {Rowan Davies and Frank Pfenning}, year = {2000}, doi = {10.1145/351240.351259}, url = {http://doi.acm.org/10.1145/351240.351259}, researchr = {https://researchr.org/publication/DaviesP00}, cites = {0}, citedby = {0}, pages = {198-208}, booktitle = {ICFP}, }