Paolo G. Giarrusso, Léo Stefanesco, Amin Timany, Lars Birkedal, Robbert Krebbers. Scala step-by-step: soundness for DOT with step-indexed logical relations in Iris. Proceedings of the ACM on Programming Languages, 4(ICFP), 2020. [doi]
Abstract is missing.