David B. MacQueen

24 papers A* 5A 1Journal 6Unranked 11
YearRankTypeTitle / Venue / Authors
2002 J jnl
Should ML be Object-Oriented?
Formal Aspects Comput.
David B. MacQueen
1998 A* ed.
POPL '98, Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, USA, January 19-21, 1998
POPL
David B. MacQueen, Luca Cardelli
1994 A conf
A Semantics for Higher-Order Functors.
ESOP
David B. MacQueen, Mads Tofte
1994 A* conf
Separate Compilation for Standard ML.
PLDI
Andrew W. Appel, David B. MacQueen
1993 J jnl
Computing ML Equality Kinds Using Abstract Interpretation
Inf. Comput.
Carl A. Gunter, Elsa L. Gunter, David B. MacQueen
1993 — conf
Reflections on Standard ML.
Functional Programming, Concurrency, Simulation and Automated Reasoning
David B. MacQueen
1993 J jnl
Typing First-Class Continuations in ML.
J. Funct. Program.
Robert Harper, Bruce F. Duba, David B. MacQueen
1991 — conf
An Abstract Interpretation for ML Equality Kinds.
TACS
Carl A. Gunter, Elsa L. Gunter, David B. MacQueen
1991 — conf
Standard ML of New Jersey.
PLILP
Andrew W. Appel, David B. MacQueen
1991 A* conf
Typing First-Class Continuations in ML.
POPL
Bruce F. Duba, Robert Harper, David B. MacQueen
1988 — conf
An Implementation of Standard ML Modules.
LISP and Functional Programming
David B. MacQueen
1987 — conf
A Standard ML compiler.
FPCA
Andrew W. Appel, David B. MacQueen
1986 J jnl
An Ideal Model for Recursive Polymorphic Types
Inf. Control.
David B. MacQueen, Gordon D. Plotkin, Ravi Sethi
1986 A* conf
Using Dependent Types to Express Modular Structure.
POPL
David B. MacQueen
1985 J jnl
Completeness of Proof Systems for Equational Specifications.
IEEE Trans. Software Eng.
David B. MacQueen, Donald Sannella
1985 — conf
Persistence and Type Abstraction.
Data Types and Persistence (Appin)
Luca Cardelli, David B. MacQueen
1985 — conf
Persistence and Type Abstraction.
Data Types and Persistence (Appin), Informal Proceedings
Luca Cardelli, David B. MacQueen
1984 A* conf
An Ideal Model for Recursive Polymorphic Types.
POPL
David B. MacQueen, Gordon D. Plotkin, Ravi Sethi
1984 — conf
Modules for Standard ML.
LISP and Functional Programming
David B. MacQueen
1984 — ed.
Semantics of Data Types, International Symposium, Sophia-Antipolis, France, June 27-29, 1984, Proceedings
Semantics of Data Types
Gilles Kahn, David B. MacQueen, Gordon D. Plotkin
1982 — conf
A Semantic Model of Types for Applicative Languages.
Symposium on LISP and Functional Programming
David B. MacQueen, Ravi Sethi
1980 — conf
HOPE: An Experimental Applicative Language.
LISP Conference
Rod M. Burstall, David B. MacQueen, Donald Sannella
1977 — conf
Coroutines and Networks of Parallel Processes.
IFIP Congress
Gilles Kahn, David B. MacQueen
1976 J jnl
Selection in Abstract Recursion Theory.
J. Symb. Log.
Leo Harrington, David B. MacQueen