Pages that link to "Item:Q5327449"
From MaRDI portal
The following pages link to Coeffects: Unified Static Analysis of Context-Dependence (Q5327449):
Displaying 9 items.
- Generalized bounded linear logic and its categorical semantics (Q2233407) (← links)
- Graded Hoare logic and its categorical semantics (Q2233460) (← links)
- Graded modal dependent type theory (Q2233475) (← links)
- Towards a Formal Theory of Graded Monads (Q2811361) (← links)
- Coeffects: a calculus of context-dependent computation (Q2819671) (← links)
- Summary-based context-sensitive data-dependence analysis in presence of callbacks (Q2819792) (← links)
- (Q5020617) (← links)
- A Java-like calculus with heterogeneous coeffects (Q6175517) (← links)
- Deriving distributive laws for graded linear types (Q6657787) (← links)