related documents Relational semigroupoids: Abstract relation-algebraic interfaces for finite relations between infinite types Conferences Semigroupoid Interfaces for Relation-Algebraic Programming in Haskell Conferences
