Name:	Professor P Wadler
Organisation:	University of Glasgow
Department:	School of Computing Science
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

GR/L01053/01 COMPILER TECHNOLGY FOR TYPED, HEAP-BASED LANGUAGES (C) GR/K26608/01 VISITING FELLOWSHIP FOR S SOKOLOWSKI (P) GR/J52709/01 SAVE SPACE WITH LINEAR TYPES (P) GR/J12819/01 VISTING FELLOWSHIP FOR R.J. POPPLESTONE (P) GR/J12994/01 BIDIRECTIONAL ANAYLSIS OF FUNCTIONAL PROGRAMS (C) GR/H78801/01 DECLARATIVE SYSTEMS ARCHITECTURE:A QUANTITATIVE APPROACH (C) GR/G54566/01 VISITING FELLOWSHIP FOR DALE MILLER INTERACTION BETWEEN FUNCTIONAL AND LOGIC PROGRAMMING (P) GR/F28946/01 COMPILE-TIME ANALYSIS AND TYPE SYSTEMS (C) GR/F34671/01 GRASP: GRAPH REDUCTION APPLICATION SUPPORT PROGRAMME INFRASTRUCTURE PROJECT (P) GR/E85799/01 THE EPLANG COMMITTEE ESTABLISHING A STANDARD LAZY FUNCTIONAL LANGUAGE (P)

Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator