Verifying Well-Typedness Preservation of Refactorings using Scope Graphs.

Luka Miljak, Casper Bach Poulsen, Flip van Spaendonck

Browse the full FTfJP paper archive.