- DocumentoDomain Specific Language Implementation with Dependent Typescaricato da
Edwin Brady
- DocumentoA Verified Staged Interpreter is a Verified Compilercaricato da
Edwin Brady
- DocumentoLightweight Invariants with Full Dependent Typescaricato da
Edwin Brady
- DocumentoConstructing Correct Circuits --- Verification of Functional Aspects of Hardware Specifications with Dependent Typescaricato da
Edwin Brady
- DocumentoDomain Specific Languages for Network Protocolscaricato da
Edwin Brady
- DocumentoIvor, a Proof Enginecaricato da
Edwin Brady
- DocumentoDSLs for Network Protocolscaricato da
Edwin Brady
- DocumentoPractical Implementation of a Dependently Typed Functional Programming Languagecaricato da
Edwin Brady