Details of Grant 

EPSRC Reference:	GR/S86372/01
Title:	A Theory of Effects for Programming Languages
Principal Investigator:	Plotkin, Professor G
Other Investigators:
Researcher Co-Investigators:	Dr A Power Professor P Wadler
Project Partners:
Department:	Sch of Informatics
Organisation:	University of Edinburgh
Scheme:	Standard Research (Pre-FEC)
Starts:	01 March 2004	Ends:	30 April 2008	Value (£):	430,332
EPSRC Research Topic Classifications:	Fundamentals of Computing
EPSRC Industrial Sector Classifications:	No relevance to Underpinning Sectors
Related Grants:
Panel History:
Summary on Grant Application Form
We intend to make progress using the idea of algebraic operations for constructing effects (example: fair probabalistic choice) and their correlates, generic effects (example: fair random coin toss). We previously gave a uniform operational semantics for finitary such effects and a theory of modularity for most global effects (no declarations). We will complete these theories, accounting for state-oriented operational semantics and modularity for nondeterminism and local effects. We will also: treat control effects; provide a theory of effect observation for operator equations, and notions of contextual program equivalence; give a uniform treatment of language technologies such as effect systems; and provide an expressive and far-reaching logic of effects.
Key Findings
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Potential use in non-academic contexts
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Impacts
Description This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk Summary Date Materialised
Sectors submitted by the Researcher
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Project URL:
Further Information:
Organisation Website:	http://www.ed.ac.uk