Pages that link to "Item:Q5459185"
From MaRDI portal
The following pages link to Semigroupoid Interfaces for Relation-Algebraic Programming in Haskell (Q5459185):
Displaying 3 items.
- Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures (Q2347907) (← links)
- Implementing Relational Specifications in a Constraint Functional Logic Language (Q2873796) (← links)
- Simple Rectangle-Based Functional Programs for Computing Reflexive-Transitive Closures (Q2915139) (← links)
