Seguir
David MacQueen
David MacQueen
Professor Emeritus of Computer Science, University of Chicago
Dirección de correo verificada de cs.uchicago.edu - Página principal
Título
Citado por
Citado por
Año
The definition of standard ML: revised
R Milner
MIT press, 1997
48201997
Coroutines and networks of parallel processes
G Kahn, D MacQueen
8801976
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
4641984
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
3631991
Standard ml
R Harper, D MacQueen, R Milner
Department of Computer Science, University of Edinburgh, 1986
3421986
Using dependent types to express modular structure
DB MacQueen
Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of …, 1986
2801986
A standard ML compiler
AW Appel, DB MacQueen
Conference on Functional Programming Languages and Computer Architecture …, 1987
2271987
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
741994
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
551997
Models for distributed computing
DB MacQueen
531979
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
391985
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20