×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents of edwin-brady
DSLs for Network Protocols
224 views
Domain Specific Languages for Network Protocols
218 views
Lightweight Invariants with Full Dependent Types
213 views
Ivor, a Proof Engine
219 views
Constructing Correct Circuits --- Verification of Functional Aspects of Hardware Specifications with Dependent Types
214 views
A Verified Staged Interpreter is a Verified Compiler
247 views
Practical Implementation of a Dependently Typed Functional Programming Language
236 views