Selection in Abstract Recursion Theory. - Leo Harrington; David B. MacQueen (J. Symb. Log., 1976)

Coroutines and Networks of Parallel Processes. - Gilles Kahn; David B. MacQueen (IFIP Congress, 1977)

HOPE: An Experimental Applicative Language. - Rod M. Burstall; David B. MacQueen; Donald Sannella (LISP Conference, 1980)

A Semantic Model of Types for Applicative Languages. - David B. MacQueen; Ravi Sethi (Symposium on LISP and Functional Programming, 1982)

Modules for Standard ML. - David B. MacQueen (LISP and Functional Programming, 1984)

Persistence and Type Abstraction. - Luca Cardelli; David B. MacQueen (Data Types and Persistence (Appin), Informal Proceedings, 1985)

Completeness of Proof Systems for Equational Specifications. - David B. MacQueen; Donald Sannella (IEEE Trans. Software Eng., 1985)

Using Dependent Types to Express Modular Structure. - David B. MacQueen (POPL, 1986)

An Ideal Model for Recursive Polymorphic Types - David B. MacQueen; Gordon D. Plotkin; Ravi Sethi (Inf. Control., 1986)

A Standard ML compiler. - Andrew W. Appel; David B. MacQueen (FPCA, 1987)

An Implementation of Standard ML Modules. - David B. MacQueen (LISP and Functional Programming, 1988)

Standard ML of New Jersey. - Andrew W. Appel; David B. MacQueen (PLILP, 1991)

An Abstract Interpretation for ML Equality Kinds. - Carl A. Gunter; Elsa L. Gunter; David B. MacQueen (TACS, 1991)

Reflections on Standard ML. - David B. MacQueen (Functional Programming, Concurrency, Simulation and Automated Reasoning, 1993)

Typing First-Class Continuations in ML. - Robert Harper 001; Bruce F. Duba; David B. MacQueen (J. Funct. Program., 1993)

Computing ML Equality Kinds Using Abstract Interpretation - Carl A. Gunter; Elsa L. Gunter; David B. MacQueen (Inf. Comput., 1993)

A Semantics for Higher-Order Functors. - David B. MacQueen; Mads Tofte (ESOP, 1994)

Separate Compilation for Standard ML. - Andrew W. Appel; David B. MacQueen (PLDI, 1994)

Should ML be Object-Oriented? - David B. MacQueen (Formal Aspects Comput., 2002)