The following pages link to Gabriele Keller (Q2163160):
Displaying 20 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)
- Higher Order Flattening (Q3545141) (← links)
- (Q3836606) (← links)
- (Q4494107) (← links)
- Chromatic Derivatives and Approximations in Practice—Part I: A General Framework (Q4621661) (← links)
- Chromatic Derivatives and Approximations in Practice—Part II: Nonuniform Sampling, Zero-Crossings Reconstruction, and Denoising (Q4621662) (← links)
- (Q4796135) (← links)
- Cogent: uniqueness types and certifying compilation (Q5019022) (← links)
- Work efficient higher-order vectorisation (Q5168903) (← links)
- Regular, shape-polymorphic, parallel arrays in Haskell (Q5176945) (← links)
- Functional array fusion (Q5178010) (← links)
- Optimising purely functional GPU programs (Q5244787) (← links)
- Associated types with class (Q5276128) (← links)
- An Approach to Fast Arrays in Haskell (Q5390282) (← links)
