Intersection types and computational effects.

Rowan Davies, Frank Pfenning

Browse the full ICFP paper archive.