Suivre
Mark P. Jones
Titre
Citée par
Citée par
Année
Monad transformers and modular interpreters
S Liang, P Hudak, M Jones
Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995
7591995
Type classes with functional dependencies
MP Jones
European Symposium on Programming, 230-244, 2000
3962000
A system of constructor classes: overloading and implicit higher-order polymorphism
MP Jones
Journal of functional programming 5 (1), 1-35, 1995
3471995
Qualified types: theory and practice
MP Jones
Cambridge University Press, 2003
3222003
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
2441999
Functional programming with overloading and higher-order polymorphism
MP Jones
International School on Advanced Functional Programming, 97-136, 1995
2441995
Type classes: an exploration of the design space
SP Jones, M Jones, E Meijer
Haskell workshop, 1-16, 1997
2301997
Report on the programming language Haskell 98
SLP Jones, RJM Hughes, L Augustsson, D Barton, B Boutel, W Burton, ...
1811999
Composing monads
MP Jones, L Duponcheel
Technical Report YALEU/DCS/RR-1004, Department of Computer Science. Yale …, 1993
1801993
A theory of qualified types
MP Jones
European symposium on programming, 287-306, 1992
1791992
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
1601996
Typing haskell in haskell
MP Jones
Haskell workshop 7, 1999
1471999
The implementation of the Gofer functional programming system
MP Jones
Research Report YALEU/DCS/RR-1030, Yale University, New Haven, Connecticut, USA, 1994
1291994
Simplifying and improving qualified types
MP Jones
Proceedings of the seventh international conference on Functional …, 1995
1281995
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
1111999
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
1102005
Haskell vs. Ada vs. C++ vs. awk vs.... an experiment in software prototyping productivity
P Hudak, MP Jones
Contract 14 (92-C), 0153, 1994
991994
First-class polymorphism with type inference
MP Jones
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 1997
941997
Implementing type classes
J Peterson, M Jones
ACM SIGPLAN Notices 28 (6), 227-236, 1993
941993
Dictionary-free overloading by partial evaluation
MP Jones
Lisp and Symbolic Computation 8 (3), 229-248, 1995
931995
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20