Monad transformers and modular interpreters S Liang, P Hudak, M Jones Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995 | 778 | 1995 |
Type classes with functional dependencies MP Jones European Symposium on Programming, 230-244, 2000 | 409 | 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 | 325 | 2003 |
Functional programming with overloading and higher-order polymorphism MP Jones International School on Advanced Functional Programming, 97-136, 1995 | 250 | 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 | 249 | 1999 |
Type classes: an exploration of the design space SP Jones, M Jones, E Meijer Haskell workshop, 1-16, 1997 | 233 | 1997 |
Report on the programming language Haskell 98 SLP Jones, RJM Hughes, L Augustsson, D Barton, B Boutel, W Burton, ... | 186 | 1999 |
Composing monads MP Jones, L Duponcheel Technical Report YALEU/DCS/RR-1004, Department of Computer Science. Yale …, 1993 | 184 | 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 | 168 | 1996 |
Typing haskell in haskell MP Jones Haskell workshop 7, 1999 | 147 | 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 |
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 | 112 | 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 | 107 | 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 | 100 | 1994 |
Implementing type classes J Peterson, M Jones ACM SIGPLAN Notices 28 (6), 227-236, 1993 | 99 | 1993 |
First-class polymorphism with type inference MP Jones Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 1997 | 95 | 1997 |
Dictionary-free overloading by partial evaluation MP Jones Lisp and Symbolic Computation 8 (3), 229-248, 1995 | 91 | 1995 |