| 2010 | ICFP | Instance chains: type class programming without overlapping instances. | J. Garrett Morris, Mark P. Jones |
| 2008 | HASKELL | Language and program design for functional dependencies. | Mark P. Jones, Iavor S. Diatchki |
| 2008 | ICFP | Experience report: playing the DSL card. | Mark P. Jones |
| 2008 | ICFP | Polymorphism and page tables: systems programming from a functional programmer's perspective. | Mark P. Jones |
| 2007 | SOSP | Writing systems software in a functional language: an experience report. | Iavor S. Diatchki, Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew Tolmach |
| 2006 | HASKELL | Strongly typed memory areas programming systems-level data structures in a functional language. | Iavor S. Diatchki, Mark P. Jones |
| 2005 | ICFP | High-level views on low-level representations. | Iavor S. Diatchki, Mark P. Jones, Rebekah Leslie |
| 2005 | ICFP | A principled approach to operating system construction in Haskell. | Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew P. Tolmach |
| 2005 | SOSP | Operating system construction in Haskell. | Rebekah Leslie, Mark P. Jones |
| 2002 | HASKELL | A formal specification of the Haskell 98 module system. | Iavor S. Diatchki, Mark P. Jones, Thomas Hallgren |
| 2002 | ISORC | Reactive Objects. | Johan Nordlander, Mark P. Jones, Magnus Carlsson, Richard B. Kieburtz, Andrew P. Black |
| 2000 | ESOP | Type Classes with Functional Dependencies. | Mark P. Jones |
| 2000 | MPC | Integrating Programming, Properties, and Validation. | Mark P. Jones |
| 1997 | POPL | First-class Polymorphism with Type Inference. | Mark P. Jones |
| 1996 | POPL | Using Parameterized Signatures to Express Modular Structure. | Mark P. Jones |
| 1995 | POPL | Monad Transformers and Modular Interpreters. | Sheng Liang, Paul Hudak, Mark P. Jones |
| 1994 | PEPM | Dictionary-Free Overloading by Partial Evaluation. | Mark P. Jones |
| 1993 | PLDI | Implementing Type Classes. | John Peterson, Mark P. Jones |
| 1992 | ESOP | A Theory of Qualified Types. | Mark P. Jones |