Coeffects: a calculus of context-dependent computation (Q2819671)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Coeffects |
scientific article; zbMATH DE number 6631185
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Coeffects: a calculus of context-dependent computation |
scientific article; zbMATH DE number 6631185 |
Statements
29 September 2016
0 references
coeffects
0 references
context
0 references
indexed comonads
0 references
types
0 references
0.8697175
0 references
0.85539645
0 references
0.85539645
0 references
0.85476947
0 references
0.85033333
0 references
0.84871435
0 references
0.8479949
0 references
0.84613645
0 references
Coeffects: a calculus of context-dependent computation (English)
0 references
