Output details
11 - Computer Science and Informatics
University of Cambridge
Output title
Coeffects: Unified static analysis of context-dependence
Type
E - Conference contribution
Name of conference/published proceedings
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume number
7966 LNCS
Issue number
PART 2
First page of article
385
ISSN of proceedings
0302-9743
Year of publication
2013
URL
-
Number of additional authors
2
Additional information
<08>Significant new research direction: effect systems statically manage side-effects of computation. The paper shows the dual notion (via monads/comonads) of co-effects corresponds to a missing (or previously ad-hoc) concept statically expressing the requirements on context (e.g., Wifi in range, GPS available) on programs and mobile apps; also unifies disparate existing concepts. Paper appeared in prestigious ICALP (now in its 40th year, the senior programming language conference in Europe). Acceptance rate around 28%. Work led to Orchard being appointed as post-doc RA.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
0
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
