Gabriele Keller

Available identifiers

Publication	Date of Publication	Type
Translation certification for smart contracts	2022-08-10	Paper
Cogent: uniqueness types and certifying compilation	2021-12-27	Paper
Chromatic Derivatives and Approximations in Practice—Part II: Nonuniform Sampling, Zero-Crossings Reconstruction, and Denoising	2019-02-12	Paper
Chromatic Derivatives and Approximations in Practice—Part I: A General Framework	2019-02-12	Paper
Associated types with class	2017-07-14	Paper
A framework for the automatic formal verification of refinement from \textsc{Cogent} to C	2016-10-27	Paper
More types for nested data parallel programming	2015-09-11	Paper
Optimising purely functional GPU programs	2015-03-30	Paper
Functional array fusion	2015-03-09	Paper
Regular, shape-polymorphic, parallel arrays in Haskell	2015-03-05	Paper
Associated type synonyms	2015-01-06	Paper
Modular type classes	2014-09-12	Paper
Work efficient higher-order vectorisation	2014-07-21	Paper
Harnessing the multicores: nested data parallelism in Haskell	2012-10-19	Paper
An approach to fast arrays in Haskell	2011-04-01	Paper
Higher Order Flattening	2008-12-09	Paper
https://portal.mardi4nfdi.de/entity/Q4796135	2003-03-20	Paper
Towards dynamic shaping	2001-10-04	Paper
https://portal.mardi4nfdi.de/entity/Q4494107	2000-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q3836606	1999-12-08	Paper

This page was built for person: Gabriele Keller