54 citations · 141 across the 20 of their papers we have counts for
1 paper · 1 filter
Niki Vazou, Michael Greenberg
Refinement type checkers are a powerful way to reason about functional programs. For example, one can prove properties of a slow, specification implementation, porting the proofs t…