Il 0% ha trovato utile questo documento
Caricamento
Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Documento
Domain Specific Language Implementation With Dependent Types
Aggiunto da Edwin Brady
Documento
Lightweight Invariants With Full Dependent Types
Aggiunto da Edwin Brady
Documento
A Verified Staged Interpreter Is A Verified Compiler
Aggiunto da Edwin Brady
Documento
Constructing Correct Circuits - Verification of Functional Aspects of Hardware Specifications With Dependent Types
Aggiunto da Edwin Brady
Documento
Ivor, A Proof Engine
Aggiunto da Edwin Brady
Documento
DSLs For Network Protocols
Aggiunto da Edwin Brady
Documento
Domain Specific Languages For Network Protocols
Aggiunto da Edwin Brady
Documento
Practical Implementation of A Dependently Typed Functional Programming Language
Aggiunto da Edwin Brady