Pages that link to "Item:Q2819671"
From MaRDI portal
The following pages link to Coeffects: a calculus of context-dependent computation (Q2819671):
Displaying 16 items.
- Flexible recovery of uniqueness and immutability (Q1731519) (← links)
- Graded Hoare logic and its categorical semantics (Q2233460) (← links)
- Graded modal dependent type theory (Q2233475) (← links)
- The enriched effect calculus: syntax and semantics (Q2937687) (← links)
- Comprehending Ringads (Q3188283) (← links)
- I Got Plenty o’ Nuttin’ (Q3188289) (← links)
- A type- and scope-safe universe of syntaxes with binding: their semantics and proofs (Q5019018) (← links)
- Fault-tolerant functional reactive programming (extended version) (Q5120226) (← links)
- Coeffects: Unified Static Analysis of Context-Dependence (Q5327449) (← links)
- Algebraic effects for extensible dynamic semantics (Q6156625) (← links)
- A dependent dependency calculus (Q6166797) (← links)
- A Java-like calculus with heterogeneous coeffects (Q6175517) (← links)
- Non-linear communication via graded modal session types (Q6647771) (← links)
- Logical foundations of quantitative equality (Q6649445) (← links)
- Deriving distributive laws for graded linear types (Q6657787) (← links)
- A linear algebra approach to linear metatheory (Q6657791) (← links)