Coeffects: A calculus of context-dependent computation
Accepted version
Peer-reviewed
Repository URI
Repository DOI
Change log
Authors
Description
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
1558-1160
Volume Title
Publisher
ACM