@inproceedings{351259,
 author = {Rowan Davies and Frank Pfenning},
 title = {Intersection types and computational effects},
 booktitle = {Proceedings of the fifth ACM SIGPLAN international conference on Functional programming},
 year = {2000},
 isbn = {1-58113-202-6},
 pages = {198--208},
 doi = {http://doi.acm.org/10.1145/351240.351259},
 publisher = {ACM Press},
 }