EPSRC logo
Researcher Details
 
Name: Professor P Wadler
Organisation: University of Edinburgh
Department: Sch of Informatics
Current EPSRC-Supported Research Topics:
Computer Sys. & Architecture Fundamentals of Computing
Software Engineering

Current EPSRC Support
EP/K034413/1 From Data Types to Session Types---A Basis for Concurrency and Distribution(P)
Previous EPSRC Support
EP/D046769/1 Links: Linking Theory to Practice for the Web(P)
GR/S86372/01 A Theory of Effects for Programming Languages(R)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator