Pages that link to "Item:Q2133473"
From MaRDI portal
The following pages link to Monads, partial evaluations, and rewriting (Q2133473):
Displaying 24 items.
- Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code (Q532398) (← links)
- Monads for the formalization of a pattern matching procedure (Q2017780) (← links)
- Kan extensions are partial colimits (Q2156417) (← links)
- Tackling the awkward squad: Monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell (Q2767981) (← links)
- Adaptable software -- modular extensible monadic entry-pointless type checker in Haskell (Q2893602) (← links)
- Monadic augment and generalised short cut fusion (Q2936792) (← links)
- Partiality, Revisited (Q2988390) (← links)
- (Q3090701) (← links)
- (Q3395336) (← links)
- Synthesizing Monadic Predicates (Q3549312) (← links)
- Iterative reflections of monads (Q3564343) (← links)
- Comprehending monads (Q4279255) (← links)
- (Q4995161) (← links)
- (Q5079752) (← links)
- Operational semantics using the partiality monad (Q5168888) (← links)
- Monadic augment and generalised short cut fusion (Q5428372) (← links)
- Affine Monads and Side-Effect-Freeness (Q5739449) (← links)
- Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot (Q5875354) (← links)
- Representable Markov categories and comparison of statistical experiments in categorical probability (Q6039894) (← links)
- Smart Choices and the Selection Monad (Q6135751) (← links)
- (Q6161780) (← links)
- Monads, partial evaluations, and rewriting (Q6308203) (← links)
- Monadic monadic second order logic (Q6612795) (← links)
- Probability monads with submonads of deterministic states (Q6649470) (← links)
