The code and slides might not exactly match the talk as it was presented. If you have any problems running code examples, please feel free to get in touch or just create github issue.
The videos mentioned in the talk:
- Philip Wadler - Reynolds’s ‘Definitional Interpreters for Higher-Order Programming Languages’
- Erik Meijer - Contravariance is the Dual of Covariance Implies Iterable is the Dual of Observable
- Ron Pressler - Pull Push: Please stop polluting our imperative languages with pure concepts
See also the blog posts based on this presentation: