Stem coeffect$ (all stems)

4 papers:

CSL-2015-BreuvartP #linear #logic #modelling #relational #semantics

Modelling Coeffects in the Relational Semantics of Linear Logic (FB, MP), pp. 567–581.

ESOP-2014-BrunelGMZ #calculus

A Core Quantitative Coeffect Calculus (AB, MG, DM, SZ), pp. 351–370.

ICFP-2014-PetricekOM #calculus #named

Coeffects: a calculus of context-dependent computation (TP, DAO, AM), pp. 123–135.

ICALP-v2-2013-PetricekOM #named #static analysis

Coeffects: Unified Static Analysis of Context-Dependence (TP, DAO, AM), pp. 385–397.