Nick Benton

2.8k total citations
53 papers, 1.1k citations indexed

About

Nick Benton is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Hardware and Architecture. According to data from OpenAlex, Nick Benton has authored 53 papers receiving a total of 1.1k indexed citations (citations by other indexed papers that have themselves been cited), including 47 papers in Artificial Intelligence, 24 papers in Computational Theory and Mathematics and 19 papers in Hardware and Architecture. Recurrent topics in Nick Benton's work include Logic, programming, and type systems (46 papers), Logic, Reasoning, and Knowledge (20 papers) and Formal Methods in Verification (20 papers). Nick Benton is often cited by papers focused on Logic, programming, and type systems (46 papers), Logic, Reasoning, and Knowledge (20 papers) and Formal Methods in Verification (20 papers). Nick Benton collaborates with scholars based in United Kingdom, United States and Germany. Nick Benton's co-authors include Andrew Kennedy, Neelakantan R. Krishnaswami, Chung-Kil Hur, Andrew Kennedy, Luca Cardelli, Cédric Fournet, George Russell, Martin Hofmann, Philip Wadler and Lennart Beringer and has published in prestigious journals such as ACM SIGPLAN Notices, ACM Transactions on Programming Languages and Systems and Journal of Functional Programming.

In The Last Decade

Nick Benton

47 papers receiving 1.0k citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Nick Benton United Kingdom 20 990 517 323 281 153 53 1.1k
Neal Glew United States 10 908 0.9× 370 0.7× 306 0.9× 300 1.1× 176 1.2× 26 990
Aleksandar Nanevski Spain 15 862 0.9× 460 0.9× 154 0.5× 263 0.9× 148 1.0× 45 928
Jean-Christophe Filliâtre France 10 596 0.6× 487 0.9× 151 0.5× 127 0.5× 99 0.6× 25 783
Olin Shivers United States 14 866 0.9× 449 0.9× 502 1.6× 317 1.1× 280 1.8× 55 1.1k
Yanhong A. Liu United States 16 472 0.5× 231 0.4× 264 0.8× 245 0.9× 131 0.9× 64 680
Amal Ahmed United States 22 1.0k 1.0× 505 1.0× 206 0.6× 255 0.9× 223 1.5× 62 1.1k
Alan Mycroft United Kingdom 15 491 0.5× 283 0.5× 293 0.9× 271 1.0× 256 1.7× 80 852
Andrew Tolmach United States 15 688 0.7× 243 0.5× 360 1.1× 237 0.8× 228 1.5× 35 828
Kohei Honda United Kingdom 18 1.2k 1.2× 724 1.4× 138 0.4× 534 1.9× 200 1.3× 47 1.3k
François Pottier France 20 1.1k 1.1× 357 0.7× 185 0.6× 340 1.2× 285 1.9× 72 1.1k

Countries citing papers authored by Nick Benton

Since Specialization
Citations

This map shows the geographic impact of Nick Benton'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 Nick Benton with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Nick Benton more than expected).

Fields of papers citing papers by Nick Benton

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Nick Benton. 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 Nick Benton. The network helps show where Nick Benton may publish in the future.

Co-authorship network of co-authors of Nick Benton

This figure shows the co-authorship network connecting the top 25 collaborators of Nick Benton. A scholar is included among the top collaborators of Nick Benton 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 Nick Benton. Nick Benton 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.
Benton, Nick, Gavin Bierman, & Valeria de Paiva. (2021). Term assignment for intuitionistic linear logic (preliminary report). CL Technical Reports.
2.
Benton, Nick. (2016). Categorical Monads and Computer Programming. 1 indexed citations
3.
Benton, Nick, et al.. (2016). Correctness of compiling polymorphism to dynamic typing. Journal of Functional Programming. 27. 3 indexed citations
4.
Krishnaswami, Neelakantan R., et al.. (2015). Integrating Dependent and Linear Types.
5.
Krishnaswami, Neelakantan R., et al.. (2015). Integrating Linear and Dependent Types. ACM SIGPLAN Notices. 50(1). 17–30. 8 indexed citations
6.
Benton, Nick, Martin Hofmann, & Vivek Nigam. (2014). Abstract effects and proof-relevant logical relations. 619–631. 14 indexed citations
7.
Benton, Nick & Chung-Kil Hur. (2010). Realizability and Compositional Compiler Correctness for a Polymorphic Language. 15 indexed citations
8.
Benton, Nick & Chung-Kil Hur. (2009). Biorthogonality, step-indexing and compiler correctness. 97–108. 78 indexed citations
9.
Benton, Nick, Andrew Kennedy, Lennart Beringer, & Martin Hofmann. (2009). Relational semantics for effect-based program transformations. 301–312. 26 indexed citations
10.
Benton, Nick. (2008). Undoing dynamic typing (declarative pearl). 224–238. 1 indexed citations
11.
Benton, Nick, Andrew Kennedy, Martin Hofmann, & Lennart Beringer. (2008). Reading, Writing and Relations Towards Extensional Semantics for Effect Analyses.
12.
Benton, Nick & Vasileios Koutavas. (2008). A Mechanized Bisimulation for the Nu-Calculus. 11 indexed citations
13.
Benton, Nick, et al.. (2007). Semantics of an effect analysis for exceptions. 15–26. 29 indexed citations
14.
Benton, Nick, et al.. (2007). Formalizing and verifying semantic type soundness of a simple compiler. 1–12. 12 indexed citations
15.
Benton, Nick. (2006). Abstracting allocation : The new new thing. 182–196. 11 indexed citations
16.
Benton, Nick. (2006). Machine Obstructed Proof (Abstract). 1 indexed citations
17.
Kennedy, Andrew, et al.. (2000). Type inference for MLj. 159–172. 3 indexed citations
18.
Benton, Nick & Andrew Kennedy. (1999). Monads, Effects and Transformations. Electronic Notes in Theoretical Computer Science. 26. 3–20. 27 indexed citations
19.
Benton, Nick & Andrew Kennedy. (1999). Interlanguage working without tears. 126–137. 25 indexed citations
20.
Benton, Nick, Andrew Kennedy, & George Russell. (1998). Compiling standard ML to Java bytecodes. ACM SIGPLAN Notices. 34(1). 129–140. 8 indexed citations

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 Neal Glew Breakdown of academic impact, for papers by Aleksandar Nanevski Breakdown of academic impact, for papers by Jean-Christophe Filliâtre Breakdown of academic impact, for papers by Olin Shivers Breakdown of academic impact, for papers by Yanhong A. Liu Breakdown of academic impact, for papers by Amal Ahmed Breakdown of academic impact, for papers by Alan Mycroft Breakdown of academic impact, for papers by Andrew Tolmach Breakdown of academic impact, for papers by Kohei Honda Breakdown of academic impact, for papers by François Pottier
Rankless by CCL
2026