Wenjia Ye, Bruno C. D. S. Oliveira, Xuejing Huang. Type-Directed Operational Semantics for Gradual Typing. In Anders Møller, Manu Sridharan, editors, 35th European Conference on Object-Oriented Programming, ECOOP 2021, July 11-17, 2021, Aarhus, Denmark (Virtual Conference). Volume 194 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. [doi]
Abstract is missing.