Programming languages and systems : proceedings - Nielson, Hanne Riis (Herausgeber); ESOP (6 : 1996 : Linköping) (Lecture notes in computer science, 1996)