Coeffects: a calculus of context-dependent computation
- Submitting institution
-
The University of Kent
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 9346
- Type
- E - Conference contribution
- DOI
-
10.1145/2628136.2628160
- Title of conference / published proceedings
- Proceedings of the 19th ACM SIGPLAN International Conference on Functional Programming - ICFP '14
- First page
- 123
- Volume
- 49
- Issue
- 9
- ISSN
- 0362-1340
- Open access status
- Out of scope for open access requirements
- Month of publication
- August
- Year of publication
- 2014
- URL
-
https://kar.kent.ac.uk/57493/
- 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 describes a generalized coeffect system, capturing previously studied flat coeffects, but also structural (per-variable) coeffects. The significance is that it makes coeffect analyses more widely useful. This paper also promotes the novel idea of coeffects in the functional programming community, which has since been widely studied. The associated "Coeffect playground" (http://tomasp.net/coeffects/) provides an accessible interactive introduction to the work. This idea has been picked up by Facebook and integrated into their language "Hack".
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -