59 citations · 106 across the 9 of their papers we have counts for
1 paper · 1 filter
Jana Dunfield, Neel Krishnaswami
Bidirectional typing combines two modes of typing: type checking, which checks that a program satisfies a known type, and type synthesis, which determines a type from the program.…