- DocumentDomain Specific Language Implementation with Dependent Typesîncărcat deEdwin Brady
- DocumentA Verified Staged Interpreter is a Verified Compilerîncărcat deEdwin Brady
- DocumentLightweight Invariants with Full Dependent Typesîncărcat deEdwin Brady
- DocumentConstructing Correct Circuits --- Verification of Functional Aspects of Hardware Specifications with Dependent Typesîncărcat deEdwin Brady
- DocumentDomain Specific Languages for Network Protocolsîncărcat deEdwin Brady
- DocumentIvor, a Proof Engineîncărcat deEdwin Brady
- DocumentDSLs for Network Protocolsîncărcat deEdwin Brady
- DocumentPractical Implementation of a Dependently Typed Functional Programming Languageîncărcat deEdwin Brady