Pages that link to "Item:Q4659889"
From MaRDI portal
The following pages link to An abstract monadic semantics for value recursion (Q4659889):
Displaying 6 items.
- Compilation of extended recursion in call-by-value functional languages (Q848739) (← links)
- The Value-Passing Calculus (Q2842635) (← links)
- Structuring operational semantics: simplification and computation (Q2864160) (← links)
- Comonadic notions of computation (Q2873672) (← links)
- (Q3090701) (← links)
- Traced Premonoidal Categories (Q4460686) (← links)