The following pages link to (Q4490731):
Displaying 9 items.
- On inter-deriving small-step and big-step semantics: a case study for storeless call-by-need evaluation (Q428886) (← links)
- Constructing language processors with algebra combinators (Q608238) (← links)
- Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation (Q831147) (← links)
- Evolution of rule-based programs (Q1878711) (← links)
- Modular structural operational semantics (Q1878712) (← links)
- Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics (Q2134832) (← links)
- Not by equations alone: Reasoning with extensible effects (Q5018775) (← links)
- No value restriction is needed for algebraic effects and handlers (Q5372003) (← links)
- Galois connecting call-by-value and call-by-name (Q6151562) (← links)
