| Using an agent-based approach for robust automated testing of computer games | 0 | 0.34 | 2021 |
| An Adaptive Denoising Algorithm for Improving Frequency Estimation and Tracking | 0 | 0.34 | 2020 |
| On reconstruction of bandlimited signals from purely timing information | 0 | 0.34 | 2019 |
| Chromatic Derivatives and Approximations in Practice - Part II: Nonuniform Sampling, Zero-Crossings Reconstruction, and Denoising. | 1 | 0.36 | 2018 |
| Editorial for the Special Issue on Parallel and Concurrent Functional Programming. | 0 | 0.34 | 2018 |
| Chromatic Derivatives and Approximations in Practice - Part I: A General Framework. | 1 | 0.36 | 2018 |
| Bringing Effortless Refinement of Data Layouts to Cogent. | 1 | 0.35 | 2018 |
| The Cogent Case for Property-Based Testing. | 0 | 0.34 | 2017 |
| Streaming irregular arrays. | 0 | 0.34 | 2017 |
| COGENT: Certified Compilation for a Functional Systems Language. | 1 | 0.36 | 2016 |
| A Framework For The Automatic Formal Verification Of Refinement From Cogent To C | 3 | 0.39 | 2016 |
| Cogent: verifying high-assurance file system implementations | 19 | 0.74 | 2016 |
| Functional array streams | 1 | 0.39 | 2015 |
| Embedding Foreign Code | 6 | 0.52 | 2014 |
| Fusing filters with integer linear programming | 1 | 0.35 | 2014 |
| File systems deserve verification too! | 10 | 0.54 | 2014 |
| Optimising purely functional GPU programs | 34 | 1.16 | 2013 |
| Data flow fusion with series expressions in Haskell | 9 | 0.53 | 2013 |
| Vectorisation avoidance | 4 | 0.43 | 2012 |
| Guiding parallel array fusion with indexed types | 17 | 0.71 | 2012 |
| Work efficient higher-order vectorisation | 6 | 0.51 | 2012 |
| Accelerating Haskell array codes with multicore GPUs | 99 | 2.87 | 2011 |
| Efficient parallel stencil convolution in Haskell | 11 | 0.66 | 2011 |
| Regular, shape-polymorphic, parallel arrays in Haskell | 49 | 1.84 | 2010 |
| Harnessing the Multicores: Nested Data Parallelism in Haskell | 32 | 1.33 | 2008 |
| Specialising simulator generators for high-performance Monte-Carlo methods | 2 | 0.37 | 2008 |
| Data parallel Haskell: a status report | 94 | 3.26 | 2007 |
| Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2007, Freiburg, Germany, September 30, 2007 | 10 | 1.56 | 2007 |
| Higher Order Flattening | 15 | 0.84 | 2006 |
| Associated types with class | 57 | 2.75 | 2005 |
| Associated type synonyms | 70 | 3.02 | 2005 |
| The risks and benefits of teaching purely functional programming in first year | 21 | 1.18 | 2004 |
| A Functional Perspective on SSA Optimisation Algorithms | 5 | 0.50 | 2003 |
| Costing Nested Array Codes | 5 | 0.85 | 2002 |
| An Approach to Fast Arrays in Haskell | 13 | 1.03 | 2002 |
| Nepal - Nested Data Parallelism in Haskell | 18 | 0.99 | 2001 |
| Functional array fusion | 13 | 1.01 | 2001 |
| On the Distribution Implementation of Aggregate Data Structures by Program Transformation | 14 | 1.03 | 1999 |
| Flattening Trees | 10 | 0.65 | 1998 |
| A Calculational Approach to Flattening Nested Data Parallelism in Functional Languages | 5 | 0.57 | 1996 |
