Practical coeffects
Lead Research Organisation:
UNIVERSITY OF CAMBRIDGE
Department Name: Computer Science and Technology
Abstract
Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.
Organisations
People |
ORCID iD |
| Alan Mycroft (Primary Supervisor) | |
| Dylan McDermott (Student) |
Publications
Kammar O
(2018)
Factorisation Systems for Logical Relations and Monadic Lifting in Type-and-effect System Semantics
in Electronic Notes in Theoretical Computer Science
McDermott D
(2018)
Call-by-need effects via coeffects
in Open Computer Science
McDermott D
(2018)
Call-by-need effects via coeffects
McDermott D
(2019)
Reasoning about effectful programs and evaluation order
McDermott Dylan
(2019)
Reasoning about effectful programs and evaluation order
Studentship Projects
| Project Reference | Relationship | Related To | Start | End | Student Name |
|---|---|---|---|---|---|
| EP/N509620/1 | 30/09/2016 | 29/09/2022 | |||
| 1789520 | Studentship | EP/N509620/1 | 30/09/2016 | 30/03/2020 | Dylan McDermott |
| Description | The key result was the development of a framework for reasoning about side-effects in programs. The framework enables proofs of the correctness of programs in the presence of side-effects, which complicate reasoning. In particular, this enables proofs of the correctness of program optimizations. The framework is more general than previous ones. |
| Exploitation Route | There are still practical applications of the framework to be explored. |
| Sectors | Digital/Communication/Information Technologies (including Software) |