---
name          : Philip Wadler
email         : wadler@inf.ed.ac.uk
corresponding : true
github        : wadler
---