- ДокументDomain Specific Language Implementation with Dependent Typesзагружено:
Edwin Brady
- ДокументA Verified Staged Interpreter is a Verified Compilerзагружено:
Edwin Brady
- ДокументLightweight Invariants with Full Dependent Typesзагружено:
Edwin Brady
- ДокументConstructing Correct Circuits --- Verification of Functional Aspects of Hardware Specifications with Dependent Typesзагружено:
Edwin Brady
- ДокументDomain Specific Languages for Network Protocolsзагружено:
Edwin Brady
- ДокументIvor, a Proof Engineзагружено:
Edwin Brady
- ДокументDSLs for Network Protocolsзагружено:
Edwin Brady
- ДокументPractical Implementation of a Dependently Typed Functional Programming Languageзагружено:
Edwin Brady