- DokumentDomain Specific Language Implementation with Dependent Typeshochgeladen vonEdwin Brady
- DokumentA Verified Staged Interpreter is a Verified Compilerhochgeladen vonEdwin Brady
- DokumentLightweight Invariants with Full Dependent Typeshochgeladen vonEdwin Brady
- DokumentConstructing Correct Circuits --- Verification of Functional Aspects of Hardware Specifications with Dependent Typeshochgeladen vonEdwin Brady
- DokumentDomain Specific Languages for Network Protocolshochgeladen vonEdwin Brady
- DokumentIvor, a Proof Enginehochgeladen vonEdwin Brady
- DokumentDSLs for Network Protocolshochgeladen vonEdwin Brady
- DokumentPractical Implementation of a Dependently Typed Functional Programming Languagehochgeladen vonEdwin Brady