Philip Wadler - Research output - University of Edinburgh Research Explorer

View Scopus Profile

Phone+44 (0) 131 650 5174
Emailwadlerinf.ed.acuk
Websitehttp://homepages.inf.ed.ac.uk/wadler/

72 Conference contribution
46 Article
6 Chapter
3 Book
More

2 results

Filter

2010
A located lambda calculus
Wadler, P. & Cooper, E., 7 Sept 2010, (Unpublished) p. 10, 10 p.
Research output: Working paper

File
2007
An idiom’s guide to formlets
Cooper, E., Lindley, S., Wadler, P. & Yallop, J., 2007, 22 p.
Research output: Working paper

File