Die Aufzeichnungen des Glasgow‑Workshops von August 1991 auf der Isle of Skye zeigen wegweisende Ideen zur funktionalen Programmierung, von Typtheorie bis zu praktischen Anwendungen.