Monad transformers and modular interpreters S Liang, P Hudak, M Jones Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995 | 768 | 1995 |
Type classes with functional dependencies MP Jones European Symposium on Programming, 230-244, 2000 | 401 | 2000 |
A system of constructor classes: overloading and implicit higher-order polymorphism MP Jones Journal of functional programming 5 (1), 1-35, 1995 | 350 | 1995 |
Qualified types: theory and practice MP Jones Cambridge University Press, 2003 | 323 | 2003 |
Functional programming with overloading and higher-order polymorphism MP Jones International School on Advanced Functional Programming, 97-136, 1995 | 249 | 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 | 245 | 1999 |
Type classes: an exploration of the design space SP Jones, M Jones, E Meijer Haskell workshop, 1-16, 1997 | 232 | 1997 |
Report on the programming language Haskell 98 SLP Jones, RJM Hughes, L Augustsson, D Barton, B Boutel, W Burton, ... | 185 | 1999 |
Composing monads MP Jones, L Duponcheel Technical Report YALEU/DCS/RR-1004, Department of Computer Science. Yale …, 1993 | 182 | 1993 |
A theory of qualified types MP Jones European symposium on programming, 287-306, 1992 | 180 | 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 | 163 | 1996 |
Typing haskell in haskell MP Jones Haskell workshop 7, 1999 | 146 | 1999 |
Simplifying and improving qualified types MP Jones Proceedings of the seventh international conference on Functional …, 1995 | 129 | 1995 |
The implementation of the Gofer functional programming system MP Jones Research Report YALEU/DCS/RR-1030, Yale University, New Haven, Connecticut, USA, 1994 | 127 | 1994 |
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 | 108 | 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 |
Implementing type classes J Peterson, M Jones ACM SIGPLAN Notices 28 (6), 227-236, 1993 | 96 | 1993 |
First-class polymorphism with type inference MP Jones Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 1997 | 94 | 1997 |
Dictionary-free overloading by partial evaluation MP Jones Lisp and Symbolic Computation 8 (3), 229-248, 1995 | 91 | 1995 |
Haskell 98–A non-strict, purely functional language S Peyton Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, ... | 87 | 1999 |