Effectful progamming -- Type inference for effects with natural subtyping (2010)

by Ross Tate , Daan Leijen
Venue:SUBMITTED TO APLAS’10