Type and Effect Systems door Torben Amtoft & Flemming Nielson