Pages that link to "Item:Q5096254"
From MaRDI portal
The following pages link to A category-theoretic account of program modules (Q5096254):
Displayed 6 items.
- The coinductive resumption monad (Q283770) (← links)
- Functorial data migration (Q714735) (← links)
- Interpreting Localized Computational Effects Using Operators of Higher Type (Q3507453) (← links)
- (Q4637688) (← links)
- Constructive Galois Connections (Q4972068) (← links)
- Structured handling of scoped effects (Q6166800) (← links)