- DocumentDomain Specific Language Implementation with Dependent Typestéléversé parEdwin Brady
- DocumentA Verified Staged Interpreter is a Verified Compilertéléversé parEdwin Brady
- DocumentLightweight Invariants with Full Dependent Typestéléversé parEdwin Brady
- DocumentConstructing Correct Circuits --- Verification of Functional Aspects of Hardware Specifications with Dependent Typestéléversé parEdwin Brady
- DocumentDomain Specific Languages for Network Protocolstéléversé parEdwin Brady
- DocumentIvor, a Proof Enginetéléversé parEdwin Brady
- DocumentDSLs for Network Protocolstéléversé parEdwin Brady
- DocumentPractical Implementation of a Dependently Typed Functional Programming Languagetéléversé parEdwin Brady