Verifying Well-Typedness Preservation of Refactorings using Scope Graphs. - Luka Miljak; Casper Bach Poulsen; Flip van Spaendonck (FTfJP@ECOOP, 2023)