Pages that link to "Item:Q5096254"
From MaRDI portal
The following pages link to A category-theoretic account of program modules (Q5096254):
Displaying 11 items.
- The coinductive resumption monad (Q283770) (← links)
- Functorial data migration (Q714735) (← links)
- Modular design of domain-specific languages using splittings of catamorphisms (Q1623119) (← links)
- Interpreting Localized Computational Effects Using Operators of Higher Type (Q3507453) (← links)
- A Categorical Approach to Mereology and Its Application to Modelling Software Components (Q3600304) (← links)
- (Q4222943) (← links)
- (Q4327836) (← links)
- (Q4637688) (← links)
- Constructive Galois Connections (Q4972068) (← links)
- Presenting a Category Modulo a Rewriting System (Q5277873) (← links)
- Algebra and Coalgebra in Computer Science (Q5492828) (← links)