Semigroupoid Interfaces for Relation-Algebraic Programming in Haskell
From MaRDI portal
Publication:5459185
DOI10.1007/11828563_16zbMath1134.68339OpenAlexW1520278323MaRDI QIDQ5459185
Publication date: 24 April 2008
Published in: Relations and Kleene Algebra in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11828563_16
Related Items (3)
Simple Rectangle-Based Functional Programs for Computing Reflexive-Transitive Closures ⋮ Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures ⋮ Implementing Relational Specifications in a Constraint Functional Logic Language
Uses Software
This page was built for publication: Semigroupoid Interfaces for Relation-Algebraic Programming in Haskell
