Programming with Constructor Classes (Preliminary Summary). - Mark P. Jones (Functional Programming, 1992)

Computing with Lattices: An Application of Type Classes. - Mark P. Jones (J. Funct. Program., 1992)

Implementing Type Classes. - John Peterson; Mark P. Jones (PLDI, 1993)

ML Typing, Explicit Polymorphism and Qualified Types. - Mark P. Jones (TACS, 1994)

A Theory of Qualified Types. - Mark P. Jones (Sci. Comput. Program., 1994)

Functional Programming with Overloading and Higher-Order Polymorphism. - Mark P. Jones (Advanced Functional Programming, 1995)

Using Types to Parse Natural Language. - Mark P. Jones; Paul Hudak; Sebastian Shaumyan (Functional Programming, 1995)

Simplifying and Improving Qualified Types. - Mark P. Jones (FPCA, 1995)

Programming with Constructor Classes (Abstract) - Mark P. Jones (PLILP, 1995)

Monad Transformers and Modular Interpreters. - Sheng Liang; Paul Hudak; Mark P. Jones (POPL, 1995)

A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism. - Mark P. Jones (J. Funct. Program., 1995)

Dictionary-Free Overloading by Partial Evaluation. - Mark P. Jones (LISP Symb. Comput., 1995)

Using Parameterized Signatures to Express Modular Structure. - Mark P. Jones (POPL, 1996)

First-class Polymorphism with Type Inference. - Mark P. Jones (POPL, 1997)

Type Classes with Functional Dependencies. - Mark P. Jones (ESOP, 2000)

Integrating Programming, Properties, and Validation. - Mark P. Jones (MPC, 2000)

A formal specification of the Haskell 98 module system. - Iavor S. Diatchki; Mark P. Jones; Thomas Hallgren (Haskell, 2002)

Reactive Objects. - Johan Nordlander; Mark P. Jones; Magnus Carlsson; Richard B. Kieburtz; Andrew P. Black (Symposium on Object-Oriented Real-Time Distributed Computing, 2002)

Composing fractals. - Mark P. Jones (J. Funct. Program., 2004)

High-level views on low-level representations. - Iavor S. Diatchki; Mark P. Jones; Rebekah Leslie (ICFP, 2005)

A principled approach to operating system construction in Haskell. - Thomas Hallgren; Mark P. Jones; Rebekah Leslie; Andrew P. Tolmach (ICFP, 2005)

Operating system construction in Haskell. - Rebekah Leslie; Mark P. Jones (SOSP, 2005)

Strongly typed memory areas programming systems-level data structures in a functional language. - Iavor S. Diatchki; Mark P. Jones (Haskell, 2006)

Writing systems software in a functional language: an experience report. - Iavor S. Diatchki; Thomas Hallgren; Mark P. Jones; Rebekah Leslie; Andrew Tolmach (PLOS@SOSP, 2007)

Language and program design for functional dependencies. - Mark P. Jones; Iavor S. Diatchki (Haskell, 2008)

Experience report: playing the DSL card. - Mark P. Jones (ICFP, 2008)

Polymorphism and page tables: systems programming from a functional programmer's perspective. - Mark P. Jones (ICFP, 2008)

Instance chains: type class programming without overlapping instances. - J. Garrett Morris; Mark P. Jones (ICFP, 2010)

Solving the snake cube puzzle in Haskell. - Mark P. Jones (J. Funct. Program., 2013)

MIL, a Monadic Intermediate Language for Implementing Functional Languages. - Mark P. Jones; Justin Bailey; Theodore R. Cooper (IFL, 2018)

Partial type constructors: or, making ad hoc datatypes less ad hoc. - Mark P. Jones; J. Garrett Morris; Richard A. Eisenberg (Proc. ACM Program. Lang., 2020)