57 citations · 77 across the 4 of their papers we have counts for
1 paper · 1 filter
Derek Dreyer, Amal Ahmed, Lars Birkedal
Appel and McAllester's "step-indexed" logical relations have proven to be a simple and effective technique for reasoning about programs in languages with semantically interesting t…