David MacQueen

58 papers receiving 3.6k citations

David MacQueen's Hit Papers

The Definition of Standard ML (Revised) 1997 · 594 citations
5940+9+19Years since publication2505007501000

Peers

David MacQueen
Comparison fields: 5 of 141
  • Hardware and Architecture 712
  • Software 398
  • Computational Theory and Mathematics 1.3k
  • Artificial Intelligence 2.3k
  • Ceramics and Composites 197
Replace William R. Cook with:
William R. Cook United States
David Walker United Kingdom
Bernard Lang France
Conor Madigan United States
Brian S. Mitchell United States
Eric W. M. Wong Hong Kong
Laurent Simon France
Han Lee Taiwan
Zhongxin Liu China
W. Emmerich United Kingdom
David MacQueen relative to William R. Cook United States William R. Cook's profile →
Citations per field
00.5×4.8×
William R. Cook · 1×
Citations per year

Countries citing papers authored by David MacQueen

Since Specialization
Citations

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

Fields of papers citing papers by David MacQueen

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authors

The 25 scholars most cited alongside David MacQueen, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.

Border = papers with David MacQueen Line = papers co-authored together David MacQueen links everyone, so they are left out of the graph.

All Works

20 of 20 papers shown

Showing the 20 most-cited of 59 papers — load more, or switch the sort, to bring in the rest.

#Work
1
The Definition of Standard ML
Hit paper breakdown →
19971085
2
The Definition of Standard ML (Revised)
Hit paper breakdown →
1997594
3 2001231
4 1993208
5 1980201
6 1984169
7 2004125
8 1986114
9 199793
10 198692
11 199289
12 199176
13 199172
14 198471
15 199667
16 199166
17 197366
18 199065
19 200651
20 199644

About David MacQueen

David MacQueen is a scholar working on Artificial Intelligence, Materials Chemistry, Computational Theory and Mathematics, Hardware and Architecture and Organic Chemistry, having authored 59 papers that have together received 4.1k indexed citations. Recurring topics across this work include Logic, programming, and type systems (22 papers), Parallel Computing and Optimization Techniques (10 papers), Formal Methods in Verification (8 papers), Logic, Reasoning, and Knowledge (7 papers), Advanced ceramic materials synthesis (5 papers), Electrochemical Analysis and Applications (5 papers), Silicone and Siloxane Chemistry (4 papers) and CO2 Reduction Techniques and Catalysts (4 papers). The work is most often cited by research in Hardware and Architecture (712 citations), Software (398 citations), Computational Theory and Mathematics (1.3k citations), Artificial Intelligence (2.3k citations) and Ceramics and Composites (197 citations). David MacQueen has collaborated with scholars based in United States, United Kingdom and Germany. Frequent co-authors include Robert Harper, Robin Milner, Mads Tofte, Kirk S. Schanze, Ravi Sethi, Donald Sannella, R. M. Burstall, Gordon Plotkin, Yigal D. Blum and Thomas A. Perkins. Their work appears in journals such as Inorganic Chemistry, Journal of the American Chemical Society, International Journal of Materials Research (formerly Zeitschrift fuer Metallkunde), Chemistry of Materials and Coordination Chemistry Reviews.

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