Graham Hutton

1.8k total citations
64 papers, 852 citations indexed

About

Graham Hutton is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Hardware and Architecture. According to data from OpenAlex, Graham Hutton has authored 64 papers receiving a total of 852 indexed citations (citations by other indexed papers that have themselves been cited), including 45 papers in Artificial Intelligence, 35 papers in Computational Theory and Mathematics and 14 papers in Hardware and Architecture. Recurrent topics in Graham Hutton's work include Logic, programming, and type systems (43 papers), Formal Methods in Verification (24 papers) and Logic, Reasoning, and Knowledge (18 papers). Graham Hutton is often cited by papers focused on Logic, programming, and type systems (43 papers), Formal Methods in Verification (24 papers) and Logic, Reasoning, and Knowledge (18 papers). Graham Hutton collaborates with scholars based in United Kingdom, Denmark and Sweden. Graham Hutton's co-authors include Erik Meijer, Jeremy Gibbons, Andy Gill, Niki Vazou, Thorsten Altenkirch, Neil Ghani, Erik Meijer, David Van Horn, D.G. Elliman and Colin Higgins and has published in prestigious journals such as Long Range Planning, International Affairs and Information Processing Letters.

In The Last Decade

Graham Hutton

58 papers receiving 754 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Graham Hutton United Kingdom 15 628 357 191 137 127 64 852
Jieh Hsiang Taiwan 16 630 1.0× 351 1.0× 32 0.2× 138 1.0× 87 0.7× 58 889
David Pym United Kingdom 16 834 1.3× 498 1.4× 52 0.3× 339 2.5× 273 2.1× 95 1.2k
Alan Hartman Israel 17 398 0.6× 178 0.5× 126 0.7× 113 0.8× 183 1.4× 51 1.1k
Shan Huang United States 14 247 0.4× 35 0.1× 42 0.2× 116 0.8× 146 1.1× 40 557
Thomas A. Alspaugh United States 13 261 0.4× 92 0.3× 25 0.1× 72 0.5× 305 2.4× 43 550
Remo Pareschi Italy 14 381 0.6× 143 0.4× 13 0.1× 182 1.3× 234 1.8× 61 741
Dan Craigen Canada 9 109 0.2× 112 0.3× 29 0.2× 88 0.6× 207 1.6× 28 443
Amit Paradkar United States 18 302 0.5× 65 0.2× 34 0.2× 211 1.5× 738 5.8× 57 1.1k
Scott Hissam United States 14 268 0.4× 36 0.1× 100 0.5× 131 1.0× 386 3.0× 50 681
Santosh Shrivastava United Kingdom 17 260 0.4× 52 0.1× 98 0.5× 426 3.1× 373 2.9× 79 777

Countries citing papers authored by Graham Hutton

Since Specialization
Citations

This map shows the geographic impact of Graham Hutton's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Graham Hutton with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Graham Hutton more than expected).

Fields of papers citing papers by Graham Hutton

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Graham Hutton. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Graham Hutton. The network helps show where Graham Hutton may publish in the future.

Co-authorship network of co-authors of Graham Hutton

This figure shows the co-authorship network connecting the top 25 collaborators of Graham Hutton. A scholar is included among the top collaborators of Graham Hutton based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Graham Hutton. Graham Hutton is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Hutton, Graham, et al.. (2024). Calculating Compilers Effectively (Functional Pearl). Repository@Nottingham (University of Nottingham). 109–119.
2.
Hutton, Graham. (2023). Programming language semantics: It’s easy as 1,2,3. Journal of Functional Programming. 33. 1 indexed citations
3.
Hutton, Graham, et al.. (2020). Calculating correct compilers II: Return of the register machines. Journal of Functional Programming. 30. 2 indexed citations
4.
Hutton, Graham, et al.. (2018). AutoBench: comparing the time performance of Haskell programs. Repository@Nottingham (University of Nottingham). 26–37. 1 indexed citations
5.
Hutton, Graham, et al.. (2017). Compiling a 50-year journey. Journal of Functional Programming. 27. 3 indexed citations
6.
Capretta, Venanzio, et al.. (2016). Contractive Functions on Infinite Data Structures. Repository@Nottingham (University of Nottingham). 1–13. 1 indexed citations
7.
Hutton, Graham, et al.. (2015). Calculating correct compilers. Journal of Functional Programming. 25. 7 indexed citations
8.
Hutton, Graham, et al.. (2013). Compilation à la Carte. 13–24. 3 indexed citations
9.
Ghani, Neil, et al.. (2011). Modularity and Implementation of Mathematical Operational Semantics. Electronic Notes in Theoretical Computer Science. 229(5). 75–95. 11 indexed citations
10.
Hutton, Graham, et al.. (2010). Compiling concurrency correctly: cutting out the middle man. Nottingham ePrints (University of Nottingham). 17–32. 2 indexed citations
11.
Gill, Andy & Graham Hutton. (2009). The worker/wrapper transformation. Journal of Functional Programming. 19(2). 227–251. 30 indexed citations
12.
Hutton, Graham, et al.. (2008). Towards a Verified STM.. 129–144. 1 indexed citations
13.
Hutton, Graham. (2007). Programming in Haskell. Cambridge University Press eBooks. 55 indexed citations
14.
Gibbons, Jeremy & Graham Hutton. (2005). Proof Methods for Corecursive Programs. Fundamenta Informaticae. 66(4). 353–366. 23 indexed citations
15.
Hutton, Graham, Martin W. Cripps, D.G. Elliman, & Colin Higgins. (2002). A strategy for on-line interpretation of sketched engineering drawings. 2. 771–775. 3 indexed citations
16.
Hutton, Graham, et al.. (2002). Categories, allegories and circuit design. 372–381. 14 indexed citations
17.
Hutton, Graham. (2002). FUNCTIONAL PEARL The countdown problem. 2 indexed citations
18.
Hutton, Graham & Erik Meijer. (1996). Monadic parser combinators. Nottingham ePrints (University of Nottingham). 61 indexed citations
19.
Hutton, Graham. (1996). Rejuvenating the mature business. Long Range Planning. 29(3). 425–425. 71 indexed citations
20.
Jones, Simon, et al.. (1991). Functional programming, Glasgow 1990 : proceedings of the 1990 Glasgow Workshop on Functional Programming. Springer eBooks.

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Jieh Hsiang Breakdown of academic impact, for papers by David Pym Breakdown of academic impact, for papers by Alan Hartman Breakdown of academic impact, for papers by Shan Huang Breakdown of academic impact, for papers by Thomas A. Alspaugh Breakdown of academic impact, for papers by Remo Pareschi Breakdown of academic impact, for papers by Dan Craigen Breakdown of academic impact, for papers by Amit Paradkar Breakdown of academic impact, for papers by Scott Hissam Breakdown of academic impact, for papers by Santosh Shrivastava
Rankless by CCL
2026