David MacQueen

Publication Activity (10 Years)

Years Active: 2007-2020
Publications (10 Years): 1

Top Topics

Evolutionary Algorithm

Maximum Likelihood

Social Networks

Top Venues

Proc. ACM Program. Lang.

Publications

David MacQueen, Robert Harper, John H. Reppy
The history of Standard ML. Proc. ACM Program. Lang. 4 (HOPL) (2020)
George Kuan, David MacQueen
Engineering Higher-Order Modules in SML/NJ. IFL (2009)
George Kuan, David MacQueen, Robert Bruce Findler
A Rewriting Semantics for Type Inference. ESOP (2007)
George Kuan, David MacQueen
Efficient type inference using ranked type variables. ML (2007)