Intersection types and computational eects (2000)

by Rowan Davies, Frank Pfenning
Venue:In Proc. Int'l Conf. Functional Programming (ICFP '00