The following pages link to Gabriele Keller (Q2163160):
Displaying 7 items.
- Translation certification for smart contracts (Q2163161) (← links)
- (Q2729986) (← links)
- A Framework for the Automatic Formal Verification of Refinement from Cogent to C (Q2829268) (← links)
- Associated type synonyms (Q2936787) (← links)
- More types for nested data parallel programming (Q2943361) (← links)
- (Q3165976) (← links)
- Modular type classes (Q3189786) (← links)
