Mark P. Jones

Publication Activity (10 Years)

Years Active: 1992-2020
Publications (10 Years): 2

Top Topics

Crossword Puzzles

Functional Language

Object Identity

Top Venues

Proc. ACM Program. Lang.

J. Funct. Program.

Publications

Mark P. Jones, J. Garrett Morris, Richard A. Eisenberg
Partial type constructors: or, making ad hoc datatypes less ad hoc. Proc. ACM Program. Lang. 4 (POPL) (2020)
Mark P. Jones, Justin Bailey, Theodore R. Cooper
MIL, a Monadic Intermediate Language for Implementing Functional Languages. IFL (2018)
Mark P. Jones
Solving the snake cube puzzle in Haskell. J. Funct. Program. 23 (2) (2013)
J. Garrett Morris, Mark P. Jones
Instance chains: type class programming without overlapping instances. ICFP (2010)
Mark P. Jones
Experience report: playing the DSL card. ICFP (2008)
Mark P. Jones
Polymorphism and page tables: systems programming from a functional programmer's perspective. ICFP (2008)
Mark P. Jones, Iavor S. Diatchki
Language and program design for functional dependencies. Haskell (2008)
Iavor S. Diatchki, Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew Tolmach
Writing systems software in a functional language: an experience report. PLOS@SOSP (2007)
Iavor S. Diatchki, Mark P. Jones
Strongly typed memory areas programming systems-level data structures in a functional language. Haskell (2006)
Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew P. Tolmach
A principled approach to operating system construction in Haskell. ICFP (2005)
Iavor S. Diatchki, Mark P. Jones, Rebekah Leslie
High-level views on low-level representations. ICFP (2005)
Mark P. Jones
Composing fractals. J. Funct. Program. 14 (6) (2004)
Johan Nordlander, Mark P. Jones, Magnus Carlsson, Richard B. Kieburtz, Andrew P. Black
Reactive Objects. Symposium on Object-Oriented Real-Time Distributed Computing (2002)
Iavor S. Diatchki, Mark P. Jones, Thomas Hallgren
A formal specification of the Haskell 98 module system. Haskell (2002)
Mark P. Jones
Integrating Programming, Properties, and Validation. MPC (2000)
Mark P. Jones
Type Classes with Functional Dependencies. ESOP (2000)
Mark P. Jones
First-class Polymorphism with Type Inference. POPL (1997)
Mark P. Jones
Using Parameterized Signatures to Express Modular Structure. POPL (1996)
Mark P. Jones
Functional Programming with Overloading and Higher-Order Polymorphism. Advanced Functional Programming (1995)
Mark P. Jones
Simplifying and Improving Qualified Types. FPCA (1995)
Mark P. Jones
A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism. J. Funct. Program. 5 (1) (1995)
Mark P. Jones
Programming with Constructor Classes (Abstract) PLILP (1995)
Mark P. Jones
Dictionary-Free Overloading by Partial Evaluation. LISP Symb. Comput. 8 (3) (1995)
Sheng Liang, Paul Hudak, Mark P. Jones
Monad Transformers and Modular Interpreters. POPL (1995)
Mark P. Jones, Paul Hudak, Sebastian Shaumyan
Using Types to Parse Natural Language. Functional Programming (1995)
Mark P. Jones
A Theory of Qualified Types. Sci. Comput. Program. 22 (3) (1994)
Mark P. Jones
ML Typing, Explicit Polymorphism and Qualified Types. TACS (1994)
Mark P. Jones
Dictionary-Free Overloading by Partial Evaluation. PEPM (1994)
Mark P. Jones
A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism. FPCA (1993)
John Peterson, Mark P. Jones
Implementing Type Classes. PLDI (1993)
Mark P. Jones
A Theory of Qualified Types. ESOP (1992)
Mark P. Jones
Programming with Constructor Classes (Preliminary Summary). Functional Programming (1992)
Mark P. Jones
Computing with Lattices: An Application of Type Classes. J. Funct. Program. 2 (4) (1992)