The following pages link to (Q4490731):
Displaying 5 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)
