Type and effect systems (1999)

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

Document Versions

Type and effect systems –Flemming Nielson, Hanne Riis Nielson — 1999 — ACM Computing Surveys
Annotated type and effect systems –Flemming Nielson — 1996 — ACM Computing Surveys
Type and Effect Systems –Flemming Nielson, Hanne Riis Nielson — 1999 — ACM Computing Surveys
Type and effect systems –Flemming Nielson, Hanne Riis Nielson — 1999 — ACM Computing Surveys