Pages that link to "Item:Q1427853"
From MaRDI portal
The following pages link to Modelling environments in call-by-value programming languages. (Q1427853):
Displaying 22 items.
- Normalization by evaluation and algebraic effects (Q265792) (← links)
- Freyd categories are enriched Lawvere theories (Q280202) (← links)
- Programming with algebraic effects and handlers (Q478396) (← links)
- Generic models for computational effects (Q860841) (← links)
- Combining algebraic effects with continuations (Q879352) (← links)
- Commutativity (Q899553) (← links)
- On bisimilarity in lambda calculi with continuous probabilistic choice (Q2133169) (← links)
- A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics (Q2189508) (← links)
- Local local reasoning: a BI-hyperdoctrine for full ground store (Q2200846) (← links)
- Adjunction Models For Call-By-Push-Value With Stacks (Q2842825) (← links)
- Algebras for Parameterised Monads (Q2888473) (← links)
- Coalgebraic Components in a Many-Sorted Microcosm (Q2888477) (← links)
- Categorifying Computations into Components via Arrows as Profunctors (Q2919448) (← links)
- Commutative Semantics for Probabilistic Programming (Q2988671) (← links)
- A Nominal Relational Model for Local Store (Q3178267) (← links)
- (Q3384908) (← links)
- Continuation passing style for effect handlers (Q5111314) (← links)
- What is a Categorical Model of Arrows? (Q5166619) (← links)
- An introduction to algebraic effects and handlers (invited tutorial paper) (Q5971390) (← links)
- Representable Markov categories and comparison of statistical experiments in categorical probability (Q6039894) (← links)
- Smart Choices and the Selection Monad (Q6135751) (← links)
- Separating Sessions Smoothly (Q6135771) (← links)
