| 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 | 338 | 2011 |
| 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 | 291 | 2007 |
| Associated type synonyms MMT Chakravarty, G Keller, SP Jones ACM SIGPLAN Notices 40 (9), 241-253, 2005 | 279 | 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 | 261 | 2005 |
| 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 | 197 | 2010 |
| Harnessing the multicores: Nested data parallelism in Haskell S Peyton Jones, R Leshchinskiy, G Keller, MMT Chakravarty IARCS Annual Conference on Foundations of Software Technology and …, 2008 | 188 | 2008 |
| Optimising purely functional GPU programs TL McDonell, MMT Chakravarty, G Keller, B Lippmeier ACM SIGPLAN Notices 48 (9), 49-60, 2013 | 145 | 2013 |
| Cogent: Verifying high-assurance file system implementations S Amani, A Hixon, Z Chen, C Rizkallah, P Chubb, L O'Connor, J Beeren, ... ACM SIGARCH Computer Architecture News 44 (2), 175-188, 2016 | 132 | 2016 |
| 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 | 92 | 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 | 76 | 2007 |
| 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 | 58 | 2004 |
| 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 | 53 | 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 |
| Optimising embedded dsls using template haskell S Seefried, M Chakravarty, G Keller International Conference on Generative Programming and Component Engineering …, 2004 | 51 | 2004 |
| Guiding parallel array fusion with indexed types B Lippmeier, M Chakravarty, G Keller, S Peyton Jones Proceedings of the 2012 Haskell Symposium, 25-36, 2012 | 46 | 2012 |
| Flattening trees G Keller, MMT Chakravarty Euro-Par’98 Parallel Processing: 4th International Euro-Par Conference …, 1998 | 44 | 1998 |
| Functional array fusion MMT Chakravarty, G Keller Proceedings of the Sixth ACM SIGPLAN International Conference on Functional …, 2001 | 42 | 2001 |
| Higher order flattening R Leshchinskiy, MMT Chakravarty, G Keller International Conference on Computational Science, 920-928, 2006 | 38 | 2006 |
Manuel M T ChakravartyTweag I/O & IOHK在 justtesting.org 的电子邮件经过验证
