David MacQueen

7.6k total citations · 2 hit papers
59 papers, 4.1k citations indexed

About

David MacQueen is a scholar working on Artificial Intelligence, Materials Chemistry and Computational Theory and Mathematics. According to data from OpenAlex, David MacQueen has authored 59 papers receiving a total of 4.1k indexed citations (citations by other indexed papers that have themselves been cited), including 24 papers in Artificial Intelligence, 12 papers in Materials Chemistry and 11 papers in Computational Theory and Mathematics. Recurrent topics in David MacQueen's work include Logic, programming, and type systems (22 papers), Parallel Computing and Optimization Techniques (10 papers) and Formal Methods in Verification (8 papers). David MacQueen is often cited by papers focused on Logic, programming, and type systems (22 papers), Parallel Computing and Optimization Techniques (10 papers) and Formal Methods in Verification (8 papers). David MacQueen collaborates with scholars based in United States, United Kingdom and Germany. David MacQueen's 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 and has published in prestigious journals such as Journal of the American Chemical Society, Chemistry of Materials and The Journal of Physical Chemistry B.

In The Last Decade

David MacQueen

58 papers receiving 3.6k citations

Hit Papers

align trajectories sort by overperformance

What are hit papers?

Hit papers significantly outperform the citation benchmark for their cohort. A paper qualifies if it has ≥500 total citations, achieves ≥1.5× the top-1% citation threshold for papers in the same subfield and year (this is the minimum needed to enter the top 1%, not the average within it), or reaches the top citation threshold in at least one of its specific research topics.

The Definition of Standard ML

1997 1.1k citations Robin Milner, Robert Harper et al. profile →
The Definition of Standard ML (Revised)

1997 594 citations Robin Milner, Robert Harper et al. Research at the University of Copenhagen (University of Copenhagen) profile →

Author Peers

Peers are selected by citation overlap in the author's most active subfields. citations · hero ref

Author						Papers	Cites
David MacQueen	2.3k	1.3k	735	712	561	59	4.1k
William R. Cook	2.2k 1.0×	609 0.5×	498 0.7×	329 0.5×	693 1.2×	152	4.1k
Conor Madigan	777 0.3×	1.1k 0.9×	811 1.1×	382 0.5×	519 0.9×	20	3.0k
Han Lee	695 0.3×	71 0.1×	172 0.2×	833 1.2×	798 1.4×	63	2.1k
David Walker	2.2k 1.0×	1.5k 1.2×	969 1.3×	252 0.4×	1.1k 2.0×	107	4.7k
William Y. Chen	263 0.1×	82 0.1×	422 0.6×	1.6k 2.3×	1.1k 1.9×	28	2.5k
Ki‐Young Choi	530 0.2×	87 0.1×	517 0.7×	2.4k 3.3×	2.0k 3.6×	332	4.9k
Ralph C. Merkle	1.5k 0.6×	344 0.3×	384 0.5×	110 0.2×	775 1.4×	53	3.1k
Sheng Yü	1.1k 0.5×	1.4k 1.1×	236 0.3×	27 0.0×	76 0.1×	143	2.4k
Bernard Lang	723 0.3×	263 0.2×	589 0.8×	166 0.2×	215 0.4×	68	2.1k
Robert Godin	683 0.3×	740 0.6×	3.3k 4.4×	18 0.0×	307 0.5×	105	5.8k

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-authorship network of co-authors of David MacQueen

This figure shows the co-authorship network connecting the top 25 collaborators of David MacQueen. A scholar is included among the top collaborators of David MacQueen 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 David MacQueen. David MacQueen 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

MacQueen, David, Robert Harper, & John Reppy. (2020). The history of Standard ML. Proceedings of the ACM on Programming Languages. 4(HOPL). 1–100. 4 indexed citations

MacQueen, David, D. K. Peterson, & W. H. Wright. (2006). Computationally Efficient Models of Flow-through Affinity-ba sed Assays. TechConnect Briefs. 2(2006). 581–584. 1 indexed citations

Kleebe, Hans‐Joachim, Giuliano Gregori, Florence Babonneau, et al.. (2006). Evolution of C-rich SiOC ceramics. Part I. Characterization by Integral Spectroscopic Techniques : Electron Energy-Loss Spectroscopy, High Resolution TEM and Energy-Filtered TEM. International Journal of Materials Research (formerly Zeitschrift fuer Metallkunde). 97. 1 indexed citations

MacQueen, David. (2002). Should ML be Object-Oriented?. Formal Aspects of Computing. 13(3-5). 214–232. 3 indexed citations

Hampl, Johannes, Michael Hall, Naheed A. Mufti, et al.. (2001). Upconverting Phosphor Reporters in Immunochromatographic Assays. Analytical Biochemistry. 288(2). 176–187. 231 indexed citations

Blum, Yigal D. & David MacQueen. (2001). Modifications of hydrosiloxane polymers for coating applications. Surface Coatings International Part B Coatings Transactions. 84(1). 27–33. 14 indexed citations

MacQueen, David & Luca Cardelli. (1998). Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. 14 indexed citations

Milner, Robin, Robert Harper, David MacQueen, & Mads Tofte. (1997). The Definition of Standard ML (Revised). Research at the University of Copenhagen (University of Copenhagen). 594 indexed citations breakdown →

Appel, Andrew W. & David MacQueen. (1994). Separate compilation for Standard ML. 13–23. 28 indexed citations

10.

Gunter, Carl A., Elsa L. Gunter, & David MacQueen. (1993). Computing ML Equality Kinds Using Abstract Interpretation. Information and Computation. 107(2). 303–323. 2 indexed citations

11.

Harper, Robert, Bruce F. Duba, & David MacQueen. (1993). Typing first-class continuations in ML. Journal of Functional Programming. 3(4). 465–484. 38 indexed citations

12.

MacQueen, David, Thomas A. Perkins, Russell H. Schmehl, & Kirk S. Schanze. (1991). Photoinduced Intramolecular Electron Transfer in RE(I) Chromophore-Quencher Complexes: Rate Dependence in the Inverted Region and the Use of a Rigid Organic Spacer. Molecular crystals and liquid crystals. 194(1). 113–121. 3 indexed citations

13.

MacQueen, David & Kirk S. Schanze. (1991). Cation-controlled photophysics in a rhenium(I) fluoroionophore. Journal of the American Chemical Society. 113(16). 6108–6110. 76 indexed citations

14.

MacQueen, David. (1990). A higher-order type system for functional programming. Addison-Wesley Longman Publishing Co., Inc. eBooks. 353–367. 4 indexed citations

15.

MacQueen, David, et al.. (1989). ¹³C relaxation in cyclopentadienyliron dicarbonyl acyl compounds. Magnetic Resonance in Chemistry. 27(9). 895–896. 2 indexed citations

16.

MacQueen, David, Gordon Plotkin, & Ravi Sethi. (1986). An ideal model for recursive polymorphic types. Information and Control. 71(1-2). 95–130. 114 indexed citations

17.

Milner, Robin, Robert Harper, & David MacQueen. (1986). Standard ML: Report ECS-LFCS-86-2. 25 indexed citations

18.

Kahn, Gilles, David MacQueen, & Gordon Plotkin. (1984). Semantics of Data Types: International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings. Medical Entomology and Zoology. 2 indexed citations

19.

MacQueen, David. (1984). Modules for standard ML. 198–207. 169 indexed citations

20.

Burstall, R. M., David MacQueen, & Donald Sannella. (1980). HOPE. 136–143. 201 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