| Monad transformers and modular interpreters S Liang, P Hudak, M Jones Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995 | 763 | 1995 |
| Type classes with functional dependencies MP Jones European Symposium on Programming, 230-244, 2000 | 396 | 2000 |
| A system of constructor classes: overloading and implicit higher-order polymorphism MP Jones Journal of functional programming 5 (1), 1-35, 1995 | 348 | 1995 |
| Qualified types: theory and practice MP Jones Cambridge University Press, 2003 | 322 | 2003 |
| Functional programming with overloading and higher-order polymorphism MP Jones International School on Advanced Functional Programming, 97-136, 1995 | 247 | 1995 |
| Haskell 98—A Non− strict ‚Purely Functional Language P Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, S Fraser, ... Available from http://www. haskell. org/definition/, 1999 | 244 | 1999 |
| Type classes: an exploration of the design space SP Jones, M Jones, E Meijer Haskell workshop, 1-16, 1997 | 230 | 1997 |
| Report on the programming language Haskell 98 SLP Jones, RJM Hughes, L Augustsson, D Barton, B Boutel, W Burton, ... | 181 | 1999 |
| Composing monads MP Jones, L Duponcheel Technical Report YALEU/DCS/RR-1004, Department of Computer Science. Yale …, 1993 | 181 | 1993 |
| A theory of qualified types MP Jones European symposium on programming, 287-306, 1992 | 179 | 1992 |
| A polymorphic type system for extensible records and variants BR Gaster, MP Jones Technical Report NOTTCS-TR-96-3, Department of Computer Science, University …, 1996 | 161 | 1996 |
| Typing haskell in haskell MP Jones Haskell workshop 7, 1999 | 147 | 1999 |
| The implementation of the Gofer functional programming system MP Jones Research Report YALEU/DCS/RR-1030, Yale University, New Haven, Connecticut, USA, 1994 | 129 | 1994 |
| Simplifying and improving qualified types MP Jones Proceedings of the seventh international conference on Functional …, 1995 | 128 | 1995 |
| Report on the programming language Haskell 98, a non-strict purely functional language SP Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, J Fasel, ... Yale University, Department of Computer Science Tech Report YALEU/DCS/RR-ll06, 1999 | 111 | 1999 |
| A principled approach to operating system construction in Haskell T Hallgren, MP Jones, R Leslie, A Tolmach Proceedings of the tenth ACM SIGPLAN international conference on Functional …, 2005 | 110 | 2005 |
| Haskell vs. Ada vs. C++ vs. awk vs.... an experiment in software prototyping productivity P Hudak, MP Jones Contract 14 (92-C), 0153, 1994 | 99 | 1994 |
| First-class polymorphism with type inference MP Jones Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 1997 | 94 | 1997 |
| Implementing type classes J Peterson, M Jones ACM SIGPLAN Notices 28 (6), 227-236, 1993 | 94 | 1993 |
| Dictionary-free overloading by partial evaluation MP Jones Lisp and Symbolic Computation 8 (3), 229-248, 1995 | 93 | 1995 |
Paul HudakProfessor of Computer Science, Yale UniversityVerified email at yale.edu
