- DocumentoDomain Specific Language Implementation with Dependent Typesenviado por
Edwin Brady
- DocumentoA Verified Staged Interpreter is a Verified Compilerenviado por
Edwin Brady
- DocumentoLightweight Invariants with Full Dependent Typesenviado por
Edwin Brady
- DocumentoConstructing Correct Circuits --- Verification of Functional Aspects of Hardware Specifications with Dependent Typesenviado por
Edwin Brady
- DocumentoDomain Specific Languages for Network Protocolsenviado por
Edwin Brady
- DocumentoIvor, a Proof Engineenviado por
Edwin Brady
- DocumentoDSLs for Network Protocolsenviado por
Edwin Brady
- DocumentoPractical Implementation of a Dependently Typed Functional Programming Languageenviado por
Edwin Brady