The following pages link to Cătălin Hriţcu (Q2324195):
Displaying 6 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)
