A Rewriting Semantics for Type Inference. - George Kuan; David MacQueen; Robert Bruce Findler (ESOP, 2007)

Efficient type inference using ranked type variables. - George Kuan; David MacQueen (ML, 2007)

Engineering Higher-Order Modules in SML/NJ. - George Kuan; David MacQueen (IFL, 2009)

The history of Standard ML. - David MacQueen; Robert Harper 001; John H. Reppy (Proc. ACM Program. Lang., 2020)