edwin-brady documents

DSLs for Network Protocols
Documents DSLs for Network Protocols
Domain Specific Languages for Network Protocols
Documents Domain Specific Languages for Network Protocols
Lightweight Invariants with Full Dependent Types
Documents Lightweight Invariants with Full Dependent Types
Ivor, a Proof Engine
Documents Ivor, a Proof Engine
Constructing Correct Circuits --- Verification of Functional Aspects of Hardware Specifications with Dependent Types
Documents Constructing Correct Circuits --- Verification of Functional Aspects of Hardware Specifications with Dependent Types
A Verified Staged Interpreter is a Verified Compiler
Documents A Verified Staged Interpreter is a Verified Compiler
Practical Implementation of a Dependently Typed Functional Programming Language
Documents Practical Implementation of a Dependently Typed Functional Programming Language