57 citations · 77 across the 4 of their papers we have counts for
1 paper · 2 filters
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…