Intersection types and computational effects (2000)

by Rowan Davies, Frank Pfenning
Venue:In ICFP ’00: Proceedings of the fifth ACM SIGPLAN international conference on Functional programming