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
48101997
Coroutines and networks of parallel processes
G Kahn, D MacQueen
8741976
HOPE: An experimental applicative language
RM Burstall, DB MacQueen, DT Sannella
Proceedings of the 1980 ACM conference on LISP and functional programming …, 1980
5921980
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
4511984
Standard ML of new jersey
AW Appel, DB MacQueen
International Symposium on Programming Language Implementation and Logic …, 1991
3621991
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
2761986
A standard ML compiler
AW Appel, DB MacQueen
Conference on Functional Programming Languages and Computer Architecture …, 1987
2321987
Typing first-class continuations in ML
B Duba, R Harper, D MacQueen
Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of …, 1991
1341991
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
921993
A semantic model of types for applicative languages
DB MacQueen, R Sethi
Proceedings of the 1982 ACM symposium on LISP and functional programming …, 1982
841982
Separate compilation for Standard ML
AW Appel, DB MacQueen
ACM SIGPLAN Notices 29 (6), 13-23, 1994
741994
An implementation of Standard ML modules
D MacQueen
Proceedings of the 1988 ACM Conference on LISP and Functional Programming …, 1988
611988
The definition of standard ML: revised 1997
R Milner, M Tofte, R Harper, D MacQueen
The MIT Press, 1997
551997
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
Models for distributed computing
DB MacQueen
521979
Persistence and type abstraction
L Cardelli, D MacQueen
Data Types and Persistence, 31-41, 1988
401988
Tree pattern matching for ML
M Baudinet, D MacQueen
Draft paper, AT&T Bell Laboratories, 1985
391985
The system can't perform the operation now. Try again later.
Articles 1–20