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