1.1k citations · 1.2k across the 14 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…