11 citations · 22 across the 4 of their papers we have counts for
1 paper · 1 filter
William J. Bowman, Amal Ahmed
Dependently typed languages such as Coq are used to specify and verify the full functional correctness of source programs. Type-preserving compilation can be used to preserve these…