Coeffects: a calculus of context-dependent computation.

Tomas Petricek, Dominic A. Orchard, Alan Mycroft

Browse the full ICFP paper archive.