The definition of standard ML: revised R Milner MIT press, 1997 | 4833 | 1997 |
Coroutines and networks of parallel processes G Kahn, D MacQueen | 886 | 1976 |
HOPE: An experimental applicative language RM Burstall, DB MacQueen, DT Sannella Proceedings of the 1980 ACM conference on LISP and functional programming …, 1980 | 595 | 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 | 467 | 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 | 364 | 1991 |
Standard ml R Harper, D MacQueen, R Milner Department of Computer Science, University of Edinburgh, 1986 | 343 | 1986 |
Using dependent types to express modular structure DB MacQueen Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of …, 1986 | 281 | 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 | 75 | 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 | 56 | 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 | 40 | 1985 |