Uploads
Domain Specific Language Implementation With Dependent Types 0% fanden dieses Dokument nützlichA Verified Staged Interpreter Is A Verified Compiler 0% fanden dieses Dokument nützlichLightweight Invariants With Full Dependent Types 0% fanden dieses Dokument nützlichConstructing Correct Circuits - Verification of Functional Aspects of Hardware Specifications With Dependent Types 0% fanden dieses Dokument nützlichDSLs For Network Protocols 0% fanden dieses Dokument nützlichDomain Specific Languages For Network Protocols 0% fanden dieses Dokument nützlichPractical Implementation of A Dependently Typed Functional Programming Language 100% fanden dieses Dokument nützlichIvor, A Proof Engine 0% fanden dieses Dokument nützlich