Hedgehog distribution semantics is non-compositional; any compositional semantics equals sampling semantics; Hedgehog→ provides compositional semantics via arrow calculus while remaining expressive.
InProceedings of the 17th ACM SIGPLAN International Haskell Symposium(Milan, Italy)(Haskell 2024)
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.PL 1years
2026 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
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.