Seminar: Lightweight session programming in Scala