Cargas
Domain Specific Language Implementation With Dependent Types 0% encontró este documento útilLightweight Invariants With Full Dependent Types 0% encontró este documento útilA Verified Staged Interpreter Is A Verified Compiler 0% encontró este documento útilConstructing Correct Circuits - Verification of Functional Aspects of Hardware Specifications With Dependent Types 0% encontró este documento útilIvor, A Proof Engine 0% encontró este documento útilDSLs For Network Protocols 0% encontró este documento útilDomain Specific Languages For Network Protocols 0% encontró este documento útilPractical Implementation of A Dependently Typed Functional Programming Language 100% encontró este documento útil