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