Pages that link to "Item:Q1427853"

The following pages link to Modelling environments in call-by-value programming languages. (Q1427853):

Displaying 39 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)
• Parameterised notions of computation (Q3638920) (← links)
• Categorical semantics for arrows (Q3638922) (← links)
• Models for the computational λ-calculus (Q4923379) (← links)
• Effect handlers via generalised continuations (Q5110928) (← links)
• Continuation passing style for effect handlers (Q5111314) (← links)
• Local algebraic effect theories (Q5120228) (← links)
• What is a Categorical Model of Arrows? (Q5166619) (← links)
• No value restriction is needed for algebraic effects and handlers (Q5372003) (← links)
• On reduction and normalization in the computational core (Q5879269) (← links)
• A metalanguage for guarded iteration (Q5918344) (← 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)
• Asymptotic speedup via effect handlers (Q6561531) (← links)
• A fibrational tale of operational logical relations: pure, effectful and differential (Q6563048) (← links)
• Strong call-by-value and multi types (Q6605354) (← links)
• Light genericity (Q6629516) (← links)
• Logical predicates in higher-order mathematical operational semantics (Q6629517) (← links)
• Higher-order asynchronous effects (Q6635509) (← links)
• Probability monads with submonads of deterministic states (Q6649470) (← links)
• Concrete categories and higher-order recursion. With applications including probability, differentiability, and full abstraction (Q6649494) (← links)
• Inductive and coinductive predicate liftings for effectful programs (Q6653761) (← links)