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