- DocumentDomain Specific Language Implementation with Dependent Typesuploaded byEdwin Brady
- DocumentA Verified Staged Interpreter is a Verified Compileruploaded byEdwin Brady
- DocumentLightweight Invariants with Full Dependent Typesuploaded byEdwin Brady
- DocumentConstructing Correct Circuits --- Verification of Functional Aspects of Hardware Specifications with Dependent Typesuploaded byEdwin Brady
- DocumentDomain Specific Languages for Network Protocolsuploaded byEdwin Brady
- DocumentIvor, a Proof Engineuploaded byEdwin Brady
- DocumentDSLs for Network Protocolsuploaded byEdwin Brady
- DocumentPractical Implementation of a Dependently Typed Functional Programming Languageuploaded byEdwin Brady