Type and effect systems (1999)

by Flemming Nielson , Hanne Riis Nielson
Venue:ACM Computing Surveys
Citations:34 - 0 self