- DokumenDomain Specific Language Implementation with Dependent Typesdiunggah oleh
Edwin Brady
- DokumenA Verified Staged Interpreter is a Verified Compilerdiunggah oleh
Edwin Brady
- DokumenLightweight Invariants with Full Dependent Typesdiunggah oleh
Edwin Brady
- DokumenConstructing Correct Circuits --- Verification of Functional Aspects of Hardware Specifications with Dependent Typesdiunggah oleh
Edwin Brady
- DokumenDomain Specific Languages for Network Protocolsdiunggah oleh
Edwin Brady
- DokumenIvor, a Proof Enginediunggah oleh
Edwin Brady
- DokumenDSLs for Network Protocolsdiunggah oleh
Edwin Brady
- DokumenPractical Implementation of a Dependently Typed Functional Programming Languagediunggah oleh
Edwin Brady