17 citations · 31 across the 3 of their papers we have counts for
1 paper · 1 filter
Kartik Chandra, Rastislav Bodik
We describe algorithms for symbolic reasoning about executable models of type systems, supporting three queries intended for designers of type systems. First, we check for type sou…