LiquidEff: Algebraic Foundations for Liquid Effects

Full project page

Organisations map overview