Coeffects
Petricek, Tomas, Orchard, Dominic, Mycroft, Alan·2014·Proceedings of the 19th ACM SIGPLAN international conference on Functional programming
Abstract
The notion of context in functional languages no longer refers just to variables in scope. Context can capture additional properties of variables (usage patterns in linear logics; caching requirements in dataflow languages) as well as additional resources or properties of the execution environment (rebindable resources; platform version in a cross-platform application). The recently introduced notion of coeffects captures the latter, whole-context properties, but it failed to capture fine-grained per-variable properties.