1 paper
Matt Wilson, Augustin Vanrietvelde
We introduce a notion of compatibility between constraint encoding and compositional structure. Phrased in the language of category theory, it is given by a "composable constraint…