Reasoning about a theory of predicates involving row variables and the types constructed from them.
A spinoff of ROSE/Rosi, focused on the constraints that appear to the left of the => in Rosi's qualified types.
Reasoning about a theory of predicates involving row variables and the types constructed from them.
A spinoff of ROSE/Rosi, focused on the constraints that appear to the left of the => in Rosi's qualified types.