34 citations · 100 across the 11 of their papers we have counts for
1 paper · 2 filters
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…