David MacQueen

According to our database¹, David MacQueen authored at least 4 papers between 2007 and 2020.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2020

The history of Standard ML.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2020

2009

Engineering Higher-Order Modules in SML/NJ.

[BibT_eX]

[DOI]

Proceedings of the Implementation and Application of Functional Languages, 2009

2007

Efficient type inference using ranked type variables.

[BibT_eX]

[DOI]

Proceedings of the ACM Workshop on ML, 2007, Freiburg, Germany, October 5, 2007, 2007

A Rewriting Semantics for Type Inference.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2007