BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
calculus (2)
depend (2)
context (2)
semant (1)
core (1)

Stem coeffect$ (all stems)

4 papers:

CSLCSL-2015-BreuvartP #linear #logic #modelling #relational #semantics
Modelling Coeffects in the Relational Semantics of Linear Logic (FB, MP), pp. 567–581.
ESOPESOP-2014-BrunelGMZ #calculus
A Core Quantitative Coeffect Calculus (AB, MG, DM, SZ), pp. 351–370.
ICFPICFP-2014-PetricekOM #calculus #named
Coeffects: a calculus of context-dependent computation (TP, DAO, AM), pp. 123–135.
ICALPICALP-v2-2013-PetricekOM #named #static analysis
Coeffects: Unified Static Analysis of Context-Dependence (TP, DAO, AM), pp. 385–397.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.