Pages that link to "Item:Q4787832"
From MaRDI portal
The following pages link to Semantics of value recursion for Monadic Input/Output (Q4787832):
Displaying 4 items.
- Shortcut fusion rules for the derivation of circular and higher-order programs (Q1929359) (← links)
- An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry (Q3003516) (← links)
- Traced Premonoidal Categories (Q4460686) (← links)
- An abstract monadic semantics for value recursion (Q4659889) (← links)
