| Accelerating Haskell array codes with multicore GPUs MMT Chakravarty, G Keller, S Lee, TL McDonell, V Grover Proceedings of the sixth workshop on Declarative aspects of multicore …, 2011 | 354 | 2011 |
| System F with type equality coercions M Sulzmann, MMT Chakravarty, SP Jones, K Donnelly Proceedings of the 2007 ACM SIGPLAN international workshop on Types in …, 2007 | 329 | 2007 |
| Data Parallel Haskell: a status report MMT Chakravarty, R Leshchinskiy, S Peyton Jones, G Keller, S Marlow Proceedings of the 2007 workshop on Declarative aspects of multicore …, 2007 | 295 | 2007 |
| Associated type synonyms MMT Chakravarty, G Keller, SP Jones ACM SIGPLAN Notices 40 (9), 241-253, 2005 | 286 | 2005 |
| Associated types with class MMT Chakravarty, G Keller, SP Jones, S Marlow Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of …, 2005 | 266 | 2005 |
| Type checking with open type functions T Schrijvers, S Peyton Jones, M Chakravarty, M Sulzmann Proceedings of the 13th ACM SIGPLAN international conference on Functional …, 2008 | 205 | 2008 |
| Regular, shape-polymorphic, parallel arrays in Haskell G Keller, MMT Chakravarty, R Leshchinskiy, S Peyton Jones, B Lippmeier ACM Sigplan Notices 45 (9), 261-272, 2010 | 202 | 2010 |
| Harnessing the multicores: Nested data parallelism in Haskell SP Jones, R Leshchinskiy, G Keller, MMT Chakravarty FSTTCS 2008 2, 383-414, 2008 | 192* | 2008 |
| Optimising purely functional GPU programs TL McDonell, MMT Chakravarty, G Keller, B Lippmeier ACM SIGPLAN Notices 48 (9), 49-60, 2013 | 151 | 2013 |
| The extended UTXO model MMT Chakravarty, J Chapman, K MacKenzie, O Melkonian, ... Financial Cryptography and Data Security: FC 2020 International Workshops …, 2020 | 109 | 2020 |
| Nepal—nested data parallelism in Haskell MMT Chakravarty, G Keller, R Lechtchinsky, W Pfannenstiel Euro-Par 2001 Parallel Processing: 7th International Euro-Par Conference …, 2001 | 109 | 2001 |
| A parallelised high performance Monte Carlo simulation approach for complex polymerisation kinetics H Chaffey‐Millar, D Stewart, MMT Chakravarty, G Keller, ... Macromolecular Theory and Simulations 16 (6), 575-592, 2007 | 94 | 2007 |
| Modular type classes D Dreyer, R Harper, MMT Chakravarty, G Keller Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2007 | 77 | 2007 |
| An LLVM backend for GHC DA Terei, MMT Chakravarty Proceedings of the third ACM Haskell symposium on Haskell, 109-120, 2010 | 75 | 2010 |
| More types for nested data parallel programming MMT Chakravarty, G Keller ACM SIGPLAN Notices 35 (9), 94-105, 2000 | 65 | 2000 |
| A functional perspective on SSA optimisation algorithms MMT Chakravarty, G Keller, P Zadarnowski Electronic Notes in Theoretical Computer Science 82 (2), 347-361, 2004 | 63 | 2004 |
| Running the manual: An approach to high-assurance microkernel development P Derrin, K Elphinstone, G Klein, D Cock, MMT Chakravarty Proceedings of the 2006 ACM SIGPLAN workshop on Haskell, 60-71, 2006 | 60 | 2006 |
| Fast isomorphic state channels MMT Chakravarty, S Coretti, M Fitzi, P Gaži, P Kant, A Kiayias, A Russell Financial Cryptography and Data Security: 25th International Conference, FC …, 2021 | 57 | 2021 |
| The risks and benefits of teaching purely functional programming in first year MMT Chakravarty, G Keller Journal of Functional Programming 14 (1), 113-123, 2004 | 56 | 2004 |
| GPU kernels as data-parallel array computations in Haskell S Lee, MMT Chakravarty, V Grover, G Keller Workshop on Exploiting Parallelism using GPUs and other Hardware-Assisted …, 2009 | 51 | 2009 |
Gabriele KellerUtrecht University確認したメール アドレス: uu.nl