Follow
David MacQueen
David MacQueen
Professor Emeritus of Computer Science, University of Chicago
Verified email at cs.uchicago.edu - Homepage
Title
Cited by
Cited by
Year
The definition of standard ML: revised
R Milner
MIT press, 1997
48331997
Coroutines and networks of parallel processes
G Kahn, D MacQueen
8861976
HOPE: An experimental applicative language
RM Burstall, DB MacQueen, DT Sannella
Proceedings of the 1980 ACM conference on LISP and functional programming …, 1980
5951980
An ideal model for recursive polymorphic types
D MacQueen, G Plotkin, R Sethi
Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of …, 1984
4671984
Modules for standard ML
D MacQueen
Proceedings of the 1984 ACM Symposium on LISP and Functional Programming …, 1984
4521984
Standard ML of new jersey
AW Appel, DB MacQueen
International Symposium on Programming Language Implementation and Logic …, 1991
3641991
Standard ml
R Harper, D MacQueen, R Milner
Department of Computer Science, University of Edinburgh, 1986
3431986
Using dependent types to express modular structure
DB MacQueen
Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of …, 1986
2811986
A standard ML compiler
AW Appel, DB MacQueen
Conference on Functional Programming Languages and Computer Architecture …, 1987
2281987
Typing first-class continuations in ML
B Duba, R Harper, D MacQueen
Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of …, 1991
1381991
A semantics for higher-order functors
DB MacQueen, M Tofte
Programming Languages and Systems—ESOP'94: 5th European Symposium on …, 1994
1001994
Typing first-class continuations in ML
R Harper, BF Duba, D MacQueen
Journal of functional programming 3 (4), 465-484, 1993
931993
A semantic model of types for applicative languages
DB MacQueen, R Sethi
Proceedings of the 1982 ACM symposium on LISP and functional programming …, 1982
861982
Separate compilation for Standard ML
AW Appel, DB MacQueen
ACM SIGPLAN Notices 29 (6), 13-23, 1994
751994
An implementation of Standard ML modules
D MacQueen
Proceedings of the 1988 ACM Conference on LISP and Functional Programming …, 1988
621988
The definition of standard ML: revised 1997
R Milner, M Tofte, R Harper, D MacQueen
The MIT Press, 1997
561997
Models for distributed computing
DB MacQueen
541979
How to add laziness to a strict language without even being odd
P Wadler, W Taha, D MacQueen
SML'98, The SML workshop, 1998
521998
Persistence and type abstraction
L Cardelli, D MacQueen
Data Types and Persistence, 31-41, 1988
411988
Tree pattern matching for ML
M Baudinet, D MacQueen
Draft paper, AT&T Bell Laboratories, 1985
401985
The system can't perform the operation now. Try again later.
Articles 1–20