Gabriele Keller
From MaRDI portal
Person:2163160
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Translation certification for smart contracts | 2022-08-10 | Paper |
| Cogent: uniqueness types and certifying compilation Journal of Functional Programming | 2021-12-27 | Paper |
| Chromatic Derivatives and Approximations in Practice—Part II: Nonuniform Sampling, Zero-Crossings Reconstruction, and Denoising IEEE Transactions on Signal Processing | 2019-02-12 | Paper |
| Chromatic Derivatives and Approximations in Practice—Part I: A General Framework IEEE Transactions on Signal Processing | 2019-02-12 | Paper |
| Associated types with class Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2017-07-14 | Paper |
| A framework for the automatic formal verification of refinement from \textsc{Cogent} to C Interactive Theorem Proving | 2016-10-27 | Paper |
| More types for nested data parallel programming Proceedings of the fifth ACM SIGPLAN international conference on Functional programming | 2015-09-11 | Paper |
| Optimising purely functional GPU programs Proceedings of the 18th ACM SIGPLAN international conference on Functional programming | 2015-03-30 | Paper |
| Functional array fusion Proceedings of the sixth ACM SIGPLAN international conference on Functional programming | 2015-03-09 | Paper |
| Regular, shape-polymorphic, parallel arrays in Haskell Proceedings of the 15th ACM SIGPLAN international conference on Functional programming | 2015-03-05 | Paper |
| Associated type synonyms Proceedings of the tenth ACM SIGPLAN international conference on Functional programming | 2015-01-06 | Paper |
| Modular type classes Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-09-12 | Paper |
| Work efficient higher-order vectorisation Proceedings of the 17th ACM SIGPLAN international conference on Functional programming | 2014-07-21 | Paper |
| Harnessing the multicores: nested data parallelism in Haskell | 2012-10-19 | Paper |
| An approach to fast arrays in Haskell Advanced Functional Programming | 2011-04-01 | Paper |
| Higher Order Flattening Computational Science – ICCS 2006 | 2008-12-09 | Paper |
| scientific article; zbMATH DE number 1875371 (Why is no real title available?) | 2003-03-20 | Paper |
| Towards dynamic shaping | 2001-10-04 | Paper |
| scientific article; zbMATH DE number 1487627 (Why is no real title available?) | 2000-08-10 | Paper |
| scientific article; zbMATH DE number 1376308 (Why is no real title available?) | 1999-12-08 | Paper |
Research outcomes over time
This page was built for person: Gabriele Keller
