The type and effect discipline (1992)

by Kevin Hammond V Hall, Simon L Peyton Jones, Philip L Waderler
Venue:In Seventh Annual IEEE Symposium on Logic in Computer Science