Theorems for free! - Computing Science
The λ – Calculus
The Next Mainstream Programming Language: A
The next Haskell will be strict
The Lambda Calculus: a minimal ML?
The gist of side effects in pure functional languages
Slides
Slides
slides
Slides
Slides
Slides
Slides
slides
Slides
slides
Slides
Slides
Slides
Slides
