Refactoring Dependent Types Keywords Refactoring, Types, Trustworthy Software, Verification Staff [Christopher Brown]{cmb21} Date 24 February 2023 Category2023 Programming Languages