| Revised5 Report on the Algorithmic Language Scheme H Abelson, RK Dybvig, CT Haynes, GJ Rozas, NI Adams, DP Friedman, ... Higher-order and symbolic computation 11, 7-105, 1998 | 1035* | 1998 |
| Essentials of programming languages DP Friedman, M Wand, CT Haynes MIT press, 2001 | 567 | 2001 |
| Type Inference for Simple Objects M Wand Proc., IEEE Symposium on Logic in Computer Science, 37-44, 1987 | 350 | 1987 |
| A semantics for advice and dynamic join points in aspect-oriented programming M Wand, G Kiczales, C Dutchyn ACM Transactions on Programming Languages and Systems (TOPLAS) 26 (5), 890-910, 2004 | 339 | 2004 |
| Type inference for record concatenation and multiple inheritance M Wand Information and Computation 93 (1), 1-15, 1991 | 283 | 1991 |
| Continuation-based multiprocessing M Wand Proceedings of the 1980 ACM Conference on LISP and Functional Programming, 19-28, 1980 | 229 | 1980 |
| Final algebra semantics and data type extensions M Wand Journal of Computer and System Sciences 19 (1), 27-44, 1979 | 227 | 1979 |
| The mystery of the tower revealed: A non-reflective description of the reflective tower M Wand, DP Friedman Proceedings of the 1986 ACM Conference on LISP and Functional Programming …, 1986 | 211 | 1986 |
| Reification: Reflection without metaphysics DP Friedman, M Wand Proceedings of the 1984 ACM Symposium on LISP and functional programming …, 1984 | 197 | 1984 |
| A simple algorithm and proof for type inference M Wand Fundamenta Informaticae 10 (2), 115-121, 1987 | 196 | 1987 |
| Continuation-based program transformation strategies M Wand Journal of the ACM (JACM) 27 (1), 164-180, 1980 | 195 | 1980 |
| Finding the source of type errors M Wand Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of …, 1986 | 169 | 1986 |
| Deriving target code as a representation of continuation semantics M Wand ACM Transactions on Programming Languages and Systems (TOPLAS) 4 (3), 496-517, 1982 | 164 | 1982 |
| Continuation semantics in typed lambda-calculi: Summary AR Meyer, M Wand Logics of Programs: Brooklyn, June 17–19, 1985 Proceedings, 219-224, 1985 | 158 | 1985 |
| Small bisimulations for reasoning about higher-order imperative programs V Koutavas, M Wand Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of …, 2006 | 142 | 2006 |
| Obtaining coroutines with continuations CT Haynes, DP Friedman, M Wand Computer languages 11 (3-4), 143-153, 1986 | 140 | 1986 |
| Continuations and coroutines CT Haynes, DP Friedman, M Wand Proceedings of the 1984 ACM Symposium on LISP and functional programming …, 1984 | 133 | 1984 |
| Trampolined style SE Ganz, DP Friedman, M Wand Proceedings of the fourth ACM SIGPLAN international conference on Functional …, 1999 | 113 | 1999 |
| Fixed-point constructions in order-enriched categories M Wand Theoretical Computer Science 8 (1), 13-30, 1979 | 104 | 1979 |
| A new incompleteness result for Hoare's system M Wand Journal of the ACM (JACM) 25 (1), 168-175, 1978 | 104 | 1978 |
Dan FriedmanIndiana UniversityVerified email at indiana.edu
