Launchbury, John

Advanced Functional Programming: Second International School, Olympia, WA, USA, August 26 – 30, 1996, Tutorial Text (Lecture Notes in Computer Science, 1129)