David B. MacQueen

Publication Activity (10 Years)

Years Active: 1976-2002
Publications (10 Years): 0

Publications

David B. MacQueen
Should ML be Object-Oriented? Formal Aspects Comput. 13 (3-5) (2002)
David B. MacQueen, Mads Tofte
A Semantics for Higher-Order Functors. ESOP (1994)
Andrew W. Appel, David B. MacQueen
Separate Compilation for Standard ML. PLDI (1994)
Robert Harper, Bruce F. Duba, David B. MacQueen
Typing First-Class Continuations in ML. J. Funct. Program. 3 (4) (1993)
Carl A. Gunter, Elsa L. Gunter, David B. MacQueen
Computing ML Equality Kinds Using Abstract Interpretation Inf. Comput. 107 (2) (1993)
David B. MacQueen
Reflections on Standard ML. Functional Programming, Concurrency, Simulation and Automated Reasoning (1993)
Carl A. Gunter, Elsa L. Gunter, David B. MacQueen
An Abstract Interpretation for ML Equality Kinds. TACS (1991)
Bruce F. Duba, Robert Harper, David B. MacQueen
Typing First-Class Continuations in ML. POPL (1991)
Andrew W. Appel, David B. MacQueen
Standard ML of New Jersey. PLILP (1991)
David B. MacQueen
An Implementation of Standard ML Modules. LISP and Functional Programming (1988)
Andrew W. Appel, David B. MacQueen
A Standard ML compiler. FPCA (1987)
David B. MacQueen
Using Dependent Types to Express Modular Structure. POPL (1986)
David B. MacQueen, Gordon D. Plotkin, Ravi Sethi
An Ideal Model for Recursive Polymorphic Types Inf. Control. 71 (1/2) (1986)
David B. MacQueen, Donald Sannella
Completeness of Proof Systems for Equational Specifications. IEEE Trans. Software Eng. 11 (5) (1985)
Luca Cardelli, David B. MacQueen
Persistence and Type Abstraction. Data Types and Persistence (Appin) (1985)
Luca Cardelli, David B. MacQueen
Persistence and Type Abstraction. Data Types and Persistence (Appin), Informal Proceedings (1985)
David B. MacQueen
Modules for Standard ML. LISP and Functional Programming (1984)
David B. MacQueen, Gordon D. Plotkin, Ravi Sethi
An Ideal Model for Recursive Polymorphic Types. POPL (1984)
David B. MacQueen, Ravi Sethi
A Semantic Model of Types for Applicative Languages. Symposium on LISP and Functional Programming (1982)
Rod M. Burstall, David B. MacQueen, Donald Sannella
HOPE: An Experimental Applicative Language. LISP Conference (1980)
Gilles Kahn, David B. MacQueen
Coroutines and Networks of Parallel Processes. IFIP Congress (1977)
Leo Harrington, David B. MacQueen
Selection in Abstract Recursion Theory. J. Symb. Log. 41 (1) (1976)