Refactoring Dependent Types

Keywords Refactoring, Types, Trustworthy Software, Verification Staff [Christopher Brown]{cmb21}

Date

24 February 2023

Category

2023 Programming Languages