0% au considerat acest document util
Încărcare
Documente Academic
Documente Profesional
Documente Cultură
Document
Domain Specific Language Implementation With Dependent Types
Adăugat de Edwin Brady
Document
Lightweight Invariants With Full Dependent Types
Adăugat de Edwin Brady
Document
A Verified Staged Interpreter Is A Verified Compiler
Adăugat de Edwin Brady
Document
Constructing Correct Circuits - Verification of Functional Aspects of Hardware Specifications With Dependent Types
Adăugat de Edwin Brady
Document
Ivor, A Proof Engine
Adăugat de Edwin Brady
Document
DSLs For Network Protocols
Adăugat de Edwin Brady
Document
Domain Specific Languages For Network Protocols
Adăugat de Edwin Brady
Document
Practical Implementation of A Dependently Typed Functional Programming Language
Adăugat de Edwin Brady