- DocumentoDomain Specific Language Implementation with Dependent Typescargado porEdwin Brady
- DocumentoA Verified Staged Interpreter is a Verified Compilercargado porEdwin Brady
- DocumentoLightweight Invariants with Full Dependent Typescargado porEdwin Brady
- DocumentoConstructing Correct Circuits --- Verification of Functional Aspects of Hardware Specifications with Dependent Typescargado porEdwin Brady
- DocumentoDomain Specific Languages for Network Protocolscargado porEdwin Brady
- DocumentoIvor, a Proof Enginecargado porEdwin Brady
- DocumentoDSLs for Network Protocolscargado porEdwin Brady
- DocumentoPractical Implementation of a Dependently Typed Functional Programming Languagecargado porEdwin Brady