Pages that link to "Item:Q4635626"
From MaRDI portal
The following pages link to Substitution, jumps, and algebraic effects (Q4635626):
Displayed 6 items.
- Theory and practice of second-order rewriting: foundation, evolution, and SOL (Q2039930) (← links)
- Quantitative logics for equivalence of effectful programs (Q2133179) (← links)
- Combining algebraic effect descriptions using the tensor of complete lattices (Q2133480) (← links)
- (Q5020616) (← links)
- (Q5094148) (← links)
- An introduction to algebraic effects and handlers (invited tutorial paper) (Q5971390) (← links)