3rd Winter School for PhD Students (WSPS3)
Support Materials
Day 1
Quick Start to Functional Programming Through Haskell
Warmup Extra
Day 2
(
λ
x
.
From
x
Functions to
x
Types) Higher-Order (Lecture Part 1 & 2)
Shapes and Signals (Lab Part 1)
Emulating Textual Input/Output Monadically (Lab Part 2)
Day 3
Types
≡
Theorems (Lecture)