Conor McBride

2.9k total citations
49 papers, 1.1k citations indexed

About

Conor McBride is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, Conor McBride has authored 49 papers receiving a total of 1.1k indexed citations (citations by other indexed papers that have themselves been cited), including 40 papers in Artificial Intelligence, 18 papers in Computational Theory and Mathematics and 13 papers in Computer Networks and Communications. Recurrent topics in Conor McBride's work include Logic, programming, and type systems (40 papers), Logic, Reasoning, and Knowledge (19 papers) and Parallel Computing and Optimization Techniques (13 papers). Conor McBride is often cited by papers focused on Logic, programming, and type systems (40 papers), Logic, Reasoning, and Knowledge (19 papers) and Parallel Computing and Optimization Techniques (13 papers). Conor McBride collaborates with scholars based in United Kingdom, Netherlands and Estonia. Conor McBride's co-authors include Ross Paterson, James McKinna, Sam Lindley, Thorsten Altenkirch, James Chapman, Robert Atkey, Wouter Swierstra, Pierre-Évariste Dagand, Craig McLaughlin and Peter Morris and has published in prestigious journals such as SHILAP Revista de lepidopterología, Journal of Pediatric Orthopaedics and ACM SIGPLAN Notices.

In The Last Decade

Conor McBride

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						Papers	Cites
Conor McBride United Kingdom	19	1.0k	546	239	215	215	49	1.1k
Martin Hofmann Germany	18	921 0.9×	633 1.2×	134 0.6×	224 1.0×	216 1.0×	67	1.0k
Ralf Hinze Germany	20	1.2k 1.2×	656 1.2×	299 1.3×	337 1.6×	395 1.8×	91	1.4k
Ross Paterson United Kingdom	9	538 0.5×	293 0.5×	100 0.4×	112 0.5×	161 0.7×	16	612
Nick Benton United Kingdom	20	990 1.0×	517 0.9×	153 0.6×	281 1.3×	323 1.5×	53	1.1k
Jean-Christophe Filliâtre France	10	596 0.6×	487 0.9×	99 0.4×	127 0.6×	151 0.7×	25	783
Gavin Bierman United Kingdom	17	902 0.9×	396 0.7×	307 1.3×	446 2.1×	206 1.0×	47	1.1k
Peter D. Mosses Denmark	17	796 0.8×	452 0.8×	268 1.1×	98 0.5×	85 0.4×	95	938
Christine Paulin-Mohring France	9	646 0.6×	478 0.9×	84 0.4×	131 0.6×	101 0.5×	13	770
Bruce F. Duba United States	8	814 0.8×	450 0.8×	160 0.7×	148 0.7×	314 1.5×	10	896
Donald Sannella United Kingdom	14	812 0.8×	584 1.1×	145 0.6×	125 0.6×	105 0.5×	47	937

Countries citing papers authored by Conor McBride

Since Specialization

Citations

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

Fields of papers citing papers by Conor McBride

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Conor McBride

This figure shows the co-authorship network connecting the top 25 collaborators of Conor McBride. A scholar is included among the top collaborators of Conor McBride 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 Conor McBride. Conor McBride is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

1.

McBride, Conor, et al.. (2025). LabMate: A prospectus for types for MATLAB. Measurement Sensors. 38. 101460–101460. 1 indexed citations

2.

McBride, Conor, et al.. (2023). Measuring with confidence: leveraging expressive type systems for correct-by-construction software. ACTA IMEKO. 12(1). 1–5. 1 indexed citations

3.

Atkey, Robert, et al.. (2018). A type and scope safe universe of syntaxes with binding: their semantics and proofs. Proceedings of the ACM on Programming Languages. 2(ICFP). 1–30. 13 indexed citations

4.

Dagand, Pierre-Évariste & Conor McBride. (2013). A Categorical Treatment of Ornaments. arXiv (Cornell University). 530–539. 7 indexed citations

5.

Atkey, Robert & Conor McBride. (2013). Productive coprogramming with guarded recursion. ACM SIGPLAN Notices. 48(9). 197–208. 12 indexed citations

6.

McBride, Conor, et al.. (2013). New equations for neutral terms. Strathprints: The University of Strathclyde institutional repository (University of Strathclyde). 13–24. 5 indexed citations

7.

McBride, Conor. (2012). Agda-curious?. 1–2. 6 indexed citations

8.

Löh, Andres, Conor McBride, & Wouter Swierstra. (2010). A Tutorial Implementation of a Dependently Typed Lambda Calculus. Fundamenta Informaticae. 102(2). 177–207. 15 indexed citations

9.

McBride, Conor. (2010). Outrageous but meaningful coincidences. 1–12. 23 indexed citations

10.

McBride, Conor, et al.. (2010). Type inference in context. Radboud Repository (Radboud University). 43–54. 11 indexed citations

11.

Chapman, James, Pierre-Évariste Dagand, Conor McBride, & Peter Morris. (2010). The gentle art of levitation. 3–14. 44 indexed citations

12.

McBride, Conor. (2009). Let's see how things unfold: reconciling the infinite with the intensional. 113–126. 4 indexed citations

13.

McBride, Conor & Ross Paterson. (2007). Applicative programming with effects. Journal of Functional Programming. 18(1). 1–13. 221 indexed citations

14.

Chapman, James, Thorsten Altenkirch, & Conor McBride. (2005). Epigram reloaded: a standalone typechecker for ETT.. 79–94. 11 indexed citations

15.

McBride, Conor, Healfdene Goguen, & James McKinna. (2005). A few constructions on constructors.

16.

Altenkirch, Thorsten, et al.. (2004). Exploring the regular tree types. 2 indexed citations

17.

Abbott, Michael, Thorsten Altenkirch, Conor McBride, & Neil Ghani. (2004). ∂ for Data: Differentiating Data Structures. Fundamenta Informaticae. 65(1). 1–28. 18 indexed citations

18.

McBride, Conor & James McKinna. (2004). The view from the left. Journal of Functional Programming. 14(1). 69–111. 173 indexed citations

19.

McBride, Conor & James McKinna. (2004). Functional pearl. 1–9. 23 indexed citations

20.

Abbott, Michael, Thorsten Altenkirch, Neil Ghani, & Conor McBride. (2003). Derivatives of Containers. 2701. 16–30. 4 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