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