Type and effect systems (1999)

by Flemming Nielson, Hanne Riis Nielson
Venue:ACM Computing Surveys