David B. MacQueen

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

Collaborative distances:

Awards

ACM Fellow

ACM Fellow 1999, "For significant research contributions in type theory and programming language design, especially for work on the design and implementation of Standard ML.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2002
Should ML be Object-Oriented?
Formal Asp. Comput., 2002

1994
Separate Compilation for Standard ML.
Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation (PLDI), 1994

A Semantics for Higher-Order Functors.
Proceedings of the Programming Languages and Systems, 1994

1993
Computing ML Equality Kinds Using Abstract Interpretation
Inf. Comput., December, 1993

Typing First-Class Continuations in ML.
J. Funct. Program., 1993

Reflections on Standard ML.
Proceedings of the Functional Programming, 1993

1991
An Abstract Interpretation for ML Equality Kinds.
Proceedings of the Theoretical Aspects of Computer Software, 1991

Typing First-Class Continuations in ML.
Proceedings of the Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, 1991

Standard ML of New Jersey.
Proceedings of the Programming Language Implementation and Logic Programming, 1991

1988
An Implementation of Standard ML Modules.
LISP and Functional Programming, 1988

1987
A Standard ML compiler.
Proceedings of the Functional Programming Languages and Computer Architecture, 1987

1986
An Ideal Model for Recursive Polymorphic Types
Information and Control, 1986

Using Dependent Types to Express Modular Structure.
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.
IEEE Trans. Software Eng., 1985

Persistence and Type Abstraction.
Proceedings of the Data Types and Persistence, 1985

Persistence and Type Abstraction.
Proceedings of the Data Types and Persistence. Edited Papers from the Proceedings of the First Workshop on Persistent Objects, 1985

1984
An Ideal Model for Recursive Polymorphic Types.
Proceedings of the Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, 1984

Modules for Standard ML.
LISP and Functional Programming, 1984

1982
A Semantic Model of Types for Applicative Languages.
Symposium on LISP and Functional Programming, 1982

1980
HOPE: An Experimental Applicative Language.
LISP Conference, 1980

1977
Coroutines and Networks of Parallel Processes.
IFIP Congress, 1977

1976
Selection in Abstract Recursion Theory.
J. Symb. Log., 1976


  Loading...