Effects as sessions, sessions as effects
- Submitting institution
-
Imperial College of Science, Technology and Medicine
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 2181
- Type
- E - Conference contribution
- DOI
-
10.1145/2837614.2837634
- Title of conference / published proceedings
- Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
- First page
- 568
- Volume
- 51
- Issue
- 1
- ISSN
- 0362-1340
- Open access status
- Out of scope for open access requirements
- Month of publication
- January
- Year of publication
- 2016
- URL
-
-
- Supplementary information
-
10.1145/2914770.2837634
- 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
-
1
- Research group(s)
-
-
- Citation count
- 11
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- The paper was the first to specify the precise relationship between two different, well-known behavioural type paradigms, sessions and effects. The work was included in a book (http://www.riverpublishers.com/research_details.php?book_id=439); extended work appeared in COORDINATION'17 (https://link.springer.com/chapter/10.1007%2F978-3-319-59746-1_6) and SCICO'18 (https://doi.org/10.1016/j.scico.2018.08.005); and further generalised in ESOP'18 (https://link.springer.com/chapter/10.1007%2F978-3-319-89884-1_29). The implementation in Haskell passed POPL Artifact Evaluation (https://www.doc.ic.ac.uk/~dorchard/popl16/). Bases on this work, Yoshida was invited to give the JFLA lecture in France (http://jfla.inria.fr/2016/) and awarded a JSPS 2019 Fellowship. Contributed to an EPSRC grant (EP/N027833/1; £863k) and to Orchard's Lecturer appointment at the University of Kent (POPL'16 acceptance rate: 23%/252).
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -
