0% found this document useful
Loading
Professional Documents
Culture Documents
Document
Domain Specific Language Implementation With Dependent Types
Added by Edwin Brady
Document
Lightweight Invariants With Full Dependent Types
Added by Edwin Brady
Document
A Verified Staged Interpreter Is A Verified Compiler
Added by Edwin Brady
Document
Constructing Correct Circuits - Verification of Functional Aspects of Hardware Specifications With Dependent Types
Added by Edwin Brady
Document
Ivor, A Proof Engine
Added by Edwin Brady
Document
DSLs For Network Protocols
Added by Edwin Brady
Document
Domain Specific Languages For Network Protocols
Added by Edwin Brady
Document
Practical Implementation of A Dependently Typed Functional Programming Language
Added by Edwin Brady