| The definition of standard ML: revised R Milner MIT press, 1997 | 4823 | 1997 |
| Coroutines and networks of parallel processes G Kahn, D MacQueen | 880 | 1976 |
| HOPE: An experimental applicative language RM Burstall, DB MacQueen, DT Sannella Proceedings of the 1980 ACM conference on LISP and functional programming …, 1980 | 592 | 1980 |
| 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 | 464 | 1984 |
| Modules for standard ML D MacQueen Proceedings of the 1984 ACM Symposium on LISP and Functional Programming …, 1984 | 452 | 1984 |
| Standard ML of new jersey AW Appel, DB MacQueen International Symposium on Programming Language Implementation and Logic …, 1991 | 363 | 1991 |
| Standard ml R Harper, D MacQueen, R Milner Department of Computer Science, University of Edinburgh, 1986 | 342 | 1986 |
| Using dependent types to express modular structure DB MacQueen Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of …, 1986 | 280 | 1986 |
| A standard ML compiler AW Appel, DB MacQueen Conference on Functional Programming Languages and Computer Architecture …, 1987 | 228 | 1987 |
| Typing first-class continuations in ML B Duba, R Harper, D MacQueen Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of …, 1991 | 138 | 1991 |
| A semantics for higher-order functors DB MacQueen, M Tofte Programming Languages and Systems—ESOP'94: 5th European Symposium on …, 1994 | 100 | 1994 |
| Typing first-class continuations in ML R Harper, BF Duba, D MacQueen Journal of functional programming 3 (4), 465-484, 1993 | 93 | 1993 |
| A semantic model of types for applicative languages DB MacQueen, R Sethi Proceedings of the 1982 ACM symposium on LISP and functional programming …, 1982 | 86 | 1982 |
| Separate compilation for Standard ML AW Appel, DB MacQueen ACM SIGPLAN Notices 29 (6), 13-23, 1994 | 74 | 1994 |
| An implementation of Standard ML modules D MacQueen Proceedings of the 1988 ACM Conference on LISP and Functional Programming …, 1988 | 62 | 1988 |
| The definition of standard ML: revised 1997 R Milner, M Tofte, R Harper, D MacQueen The MIT Press, 1997 | 55 | 1997 |
| Models for distributed computing DB MacQueen | 54 | 1979 |
| How to add laziness to a strict language without even being odd P Wadler, W Taha, D MacQueen SML'98, The SML workshop, 1998 | 52 | 1998 |
| Persistence and type abstraction L Cardelli, D MacQueen Data Types and Persistence, 31-41, 1988 | 41 | 1988 |
| Tree pattern matching for ML M Baudinet, D MacQueen Draft paper, AT&T Bell Laboratories, 1985 | 39 | 1985 |
