David B. MacQueen

According to our database, David B. MacQueen authored at least 19 papers between 1976 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2002

Should ML be Object-Oriented?

David B. MacQueen

Formal Aspects Comput., 2002

1994

Separate Compilation for Standard ML.

Andrew W. Appel, David B. MacQueen

Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation (PLDI), 1994

A Semantics for Higher-Order Functors.

David B. MacQueen, Mads Tofte

Proceedings of the Programming Languages and Systems, 1994

1993

Computing ML Equality Kinds Using Abstract Interpretation

Carl A. Gunter, Elsa L. Gunter, David B. MacQueen

Inf. Comput., December, 1993

Typing First-Class Continuations in ML.

Robert Harper, Bruce F. Duba, David B. MacQueen

J. Funct. Program., 1993

Reflections on Standard ML.

David B. MacQueen

Proceedings of the Functional Programming, 1993

1991

An Abstract Interpretation for ML Equality Kinds.

Carl A. Gunter, Elsa L. Gunter, David B. MacQueen

Proceedings of the Theoretical Aspects of Computer Software, 1991

Standard ML of New Jersey.

Andrew W. Appel, David B. MacQueen

Proceedings of the Programming Language Implementation and Logic Programming, 1991

1988

An Implementation of Standard ML Modules.

David B. MacQueen

Proceedings of the 1988 ACM Conference on LISP and Functional Programming, 1988

1987

A Standard ML compiler.

Andrew W. Appel, David B. MacQueen

Proceedings of the Functional Programming Languages and Computer Architecture, 1987

1986

An Ideal Model for Recursive Polymorphic Types

David B. MacQueen, Gordon D. Plotkin, Ravi Sethi

Inf. Control., 1986

Using Dependent Types to Express Modular Structure.

David B. MacQueen

Proceedings of the Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, 1986

1985

Completeness of Proof Systems for Equational Specifications.

David B. MacQueen, Donald Sannella

IEEE Trans. Software Eng., 1985

Persistence and Type Abstraction.

Luca Cardelli, David B. MacQueen

Proceedings of the Data Types and Persistence, 1985

1984

Modules for Standard ML.

David B. MacQueen

Proceedings of the 1984 ACM Conference on LISP and Functional Programming, 1984

1982

A Semantic Model of Types for Applicative Languages.

David B. MacQueen, Ravi Sethi

Proceedings of the 1982 ACM Symposium on LISP and Functional Programming, 1982

1980

HOPE: An Experimental Applicative Language.

Rod M. Burstall, David B. MacQueen, Donald Sannella

Proceedings of the 1980 LISP Conference, Stanford, California, USA, August 25-27, 1980., 1980

1977

Coroutines and Networks of Parallel Processes.

Gilles Kahn, David B. MacQueen

Proceedings of the Information Processing, 1977

1976

Selection in Abstract Recursion Theory.

Leo Harrington, David B. MacQueen

J. Symb. Log., 1976