Coeffects: A calculus of context-dependent computation

Coeffects: A calculus of context-dependent computation

Accepted version

Repository URI

https://www.repository.cam.ac.uk/handle/1810/290456

Repository DOI

https://doi.org/10.17863/CAM.37683

Files

Accepted version (500.85 KB)

Type

Conference Object

Authors

Petricek, T

Orchard, D

Mycroft, Alan

https://orcid.org/0000-0001-7013-8572

Keywords

Context, Types, Coeffects, Indexed comonads

Journal Title

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Conference Name

ICFP'14: ACM SIGPLAN International Conference on Functional Programming

Journal ISSN

1523-2867
1558-1160

Publisher

ACM

Publisher DOI

https://doi.org/10.1145/2628136.2628160

Rights

All Rights Reserved

Collections

Cambridge University Research Outputs