SPLASH 2016 (series) / Philip Wadler

Registered user since Sat 19 Jul 2014
Name:Philip Wadler
Country:United Kingdom
Affiliation:University of Edinburgh
Personal website: http://homepages.inf.ed.ac.uk/wadler/
Research interests:Foundations of programming
Contributions
SPLASH 2016-profile
View general profile
View general profile