Book

Type and effect systems

by Torben Amtoft, Flemming Nielson, Hanne Riis Nielson