134 citations · 319 across the 15 of their papers we have counts for
1 paper · 1 filter
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…