David MacQueen

66 papers receiving 4.8k citations

David MacQueen's Hit Papers

The Definition of Standard ML 1997 · 1.5k citations
1.5k0+9+19Years since publication4008001.2k

Peers

David MacQueen
Comparison fields: 5 of 134
  • Hardware and Architecture 1.1k
  • Software 574
  • Computational Theory and Mathematics 1.9k
  • Artificial Intelligence 3.5k
  • Ceramics and Composites 201
Replace David Walker with:
David Walker United Kingdom
Bernard Lang France
Aaron Stump United States
Conor Madigan United States
W. P. Weijland Netherlands
Laurent Simon France
Sriram Krishnamoorthy United States
Brian S. Mitchell United States
Han Lee Taiwan
Ralph C. Merkle United States
David MacQueen relative to David Walker United Kingdom David Walker's profile →
Citations per field
00.5×10×12.6×
David Walker · 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 67 papers — load more, or switch the sort, to bring in the rest.

#Work
1
The Definition of Standard ML
Hit paper breakdown →
19971467
2
The Definition of Standard ML (Revised)
Hit paper breakdown →
1997776
3 1980296
4 2001258
5 1984221
6 1993220
7 1991196
8 1986155
9 1986132
10 2004130
11 198499
12 199796
13 199295
14 199188
15 198787
16 199178
17 199068
18 199667
19 199166
20 198258

About David MacQueen

David MacQueen is a scholar working on Artificial Intelligence, Hardware and Architecture, Computational Theory and Mathematics, Materials Chemistry and Computer Networks and Communications, having authored 67 papers that have together received 5.4k indexed citations. Recurring topics across this work include Logic, programming, and type systems (32 papers), Parallel Computing and Optimization Techniques (15 papers), Formal Methods in Verification (11 papers), Logic, Reasoning, and Knowledge (9 papers), Electrochemical Analysis and Applications (5 papers), Advanced ceramic materials synthesis (5 papers), Silicone and Siloxane Chemistry (4 papers) and Model-Driven Software Engineering Techniques (4 papers). The work is most often cited by research in Hardware and Architecture (1.1k citations), Software (574 citations), Computational Theory and Mathematics (1.9k citations), Artificial Intelligence (3.5k citations) and Ceramics and Composites (201 citations). David MacQueen has collaborated with scholars based in United States, United Kingdom and Germany. Frequent co-authors include Robert Harper, Mads Tofte, Robin Milner, Kirk S. Schanze, Andrew W. Appel, Ravi Sethi, Donald Sannella, R. M. Burstall, Gordon Plotkin and Yigal D. Blum. Their work appears in journals such as Journal of the American Chemical Society, Inorganic Chemistry, International Journal of Materials Research (formerly Zeitschrift fuer Metallkunde), Coordination Chemistry Reviews and Chemistry of Materials.

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