Translations between graded-base and linear-base graded coeffect calculi establish that both express the same context dependence while preserving types, grades, and operational semantics.
Comput.93, 1 (1991), 55–92
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
cs.PL 2years
2026 2verdicts
CONDITIONAL 2representative citing papers
Hedgehog distribution semantics is non-compositional; any compositional semantics equals sampling semantics; Hedgehog→ provides compositional semantics via arrow calculus while remaining expressive.
citing papers explorer
-
Same Coeffect, Different Base: Connecting Two Dominant Approaches to Graded Types
Translations between graded-base and linear-base graded coeffect calculi establish that both express the same context dependence while preserving types, grades, and operational semantics.
-
Compositional Generator Equivalence (Extended Version)
Hedgehog distribution semantics is non-compositional; any compositional semantics equals sampling semantics; Hedgehog→ provides compositional semantics via arrow calculus while remaining expressive.