Intersection types and computational effects

Rowan Davies, Frank Pfenning. Intersection types and computational effects. In ICFP. pages 198-208, 2000. [doi]

Abstract

Abstract is missing.