The following pages link to Cătălin Hriţcu (Q2324195):
Displaying 10 items.
- The meaning of memory safety (Q2324196) (← links)
- Dependent types and multi-monadic effects in F* (Q2828265) (← links)
- Union and Intersection Types for Secure Protocol Implementations (Q2902912) (← links)
- Semantic subtyping with an SMT solver (Q2913944) (← links)
- Foundational Property-Based Testing (Q2945645) (← links)
- A Step-indexed Semantics of Imperative Objects (Q3401137) (← links)
- Trace-Relating Compiler Correctness and Secure Compilation (Q5041085) (← links)
- Semantic subtyping with an SMT solver (Q5176932) (← links)
- Dijkstra monads for free (Q5370885) (← links)
- A verified information-flow architecture (Q5408414) (← links)
