Rowan Davies, Frank Pfenning
Intersection types and computational effects
ICFP, 2000.
@inproceedings{ICFP-2000-DaviesP,
author = "Rowan Davies and Frank Pfenning",
booktitle = "{Proceedings of the Fifth International Conference on Functional Programming}",
doi = "10.1145/351240.351259",
editor = "Martin Odersky and Philip Wadler",
isbn = "1-58113-202-6",
pages = "198--208",
publisher = "{ACM}",
title = "{Intersection types and computational effects}",
year = 2000,
}