We stand with Ukraine  

David MacQueen

Orcid: 0009-0005-0839-2023

According to our database1, David MacQueen authored at least 5 papers between 2007 and 2026.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Feasibility of a Wearable Remote Monitoring Device for Patients Treated for Opioid Use Disorder in a Telehealth Program.
[BibTeX]
[DOI]
Scott Weiner
,
Trace Brookins
,
Jesse Shaw
,
Natalie Coleman
,
David Reeser
,
Brian Clear
,
Wendy Donlin Washington
,
David MacQueen
Proceedings of the 59th Hawaii International Conference on System Sciences, 2026

2020
The history of Standard ML.
[BibTeX]
[DOI]
David MacQueen
,
Robert Harper
,
John H. Reppy
Proc. ACM Program. Lang., 2020

2009
Engineering Higher-Order Modules in SML/NJ.
[BibTeX]
[DOI]
George Kuan
,
David MacQueen
Proceedings of the Implementation and Application of Functional Languages, 2009

2007
Efficient type inference using ranked type variables.
[BibTeX]
[DOI]
George Kuan
,
David MacQueen
Proceedings of the ACM Workshop on ML, 2007, Freiburg, Germany, October 5, 2007, 2007

A Rewriting Semantics for Type Inference.
[BibTeX]
[DOI]
George Kuan
,
David MacQueen
,
Robert Bruce Findler
Proceedings of the Programming Languages and Systems, 2007


  Loading...