A theory of effects and resources: adjunction models and polarised calculi
- Submitting institution
-
University of Cambridge
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 1869
- Type
- E - Conference contribution
- DOI
-
10.1145/2837614.2837652
- Title of conference / published proceedings
- Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
- First page
- 44
- Volume
- -
- Issue
- -
- ISSN
- -
- Open access status
- -
- Month of publication
- January
- Year of publication
- 2016
- 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
- 4
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- Computational effects and resources have respectively been mathematically encapsulated by means of monads and comonads, as dually arising from adjunctions, leading to the perception that the notions of effects and resources were somehow different sides of the same coin. Rather, this paper shows that effects and resources in programming and logical calculi are orthogonal concepts, and provides a framework where they coexist.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -