Coeffects: A calculus of context-dependent computation
- Submitting institution
-
University of Cambridge
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 1848
- Type
- E - Conference contribution
- DOI
-
10.1145/2628136.2628160
- Title of conference / published proceedings
- ACM SIGPLAN Notices
- First page
- 123
- Volume
- 49
- Issue
- 9
- ISSN
- 1523-2867
- Open access status
- Out of scope for open access requirements
- Month of publication
- August
- Year of publication
- 2014
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
2
- Research group(s)
-
-
- Citation count
- 5
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This paper gives a wide-ranging development of coeffects (a class of program behaviours dual to effects), capturing many phenomena in a unified approach. The paper promulgated the idea of coeffects to the functional programming community and the topic has subsequently been the subject of several grants in the UK, France, and Iceland. The associated "Coeffect playground" (http://tomasp.net/coeffects/) provides an accessible interactive introduction to the work and has received more than 20,000 unique visits.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -