2 ms·Type Safety in 10 Easy, 4 Medium, and 1 Hard Lemma using Step-indexed LRs2 points by matt_d 4y ago