Mark P. Jones

According to our database, Mark P. Jones authored at least 31 papers between 1992 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

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

2018

MIL, a Monadic Intermediate Language for Implementing Functional Languages.

Mark P. Jones, Justin Bailey, Theodore R. Cooper

Proceedings of the 30th Symposium on Implementation and Application of Functional Languages, 2018

2013

Solving the snake cube puzzle in Haskell.

Mark P. Jones

J. Funct. Program., 2013

2010

Instance chains: type class programming without overlapping instances.

J. Garrett Morris, Mark P. Jones

Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

2008

Polymorphism and page tables: systems programming from a functional programmer's perspective.

Mark P. Jones

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

Experience report: playing the DSL card.

Mark P. Jones

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

Language and program design for functional dependencies.

Mark P. Jones, Iavor S. Diatchki

Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, 2008

2007

Writing systems software in a functional language: an experience report.

Iavor S. Diatchki, Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew Tolmach

Proceedings of the 4th workshop on Programming languages and operating systems, 2007

2006

Strongly typed memory areas programming systems-level data structures in a functional language.

Iavor S. Diatchki, Mark P. Jones

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2006

2005

Operating system construction in Haskell.

Rebekah Leslie, Mark P. Jones

Proceedings of the 20th ACM Symposium on Operating Systems Principles 2005, 2005

A principled approach to operating system construction in Haskell.

Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew P. Tolmach

Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

High-level views on low-level representations.

Iavor S. Diatchki, Mark P. Jones, Rebekah Leslie

Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

2004

Composing fractals.

Mark P. Jones

J. Funct. Program., 2004

2002

Reactive Objects.

Johan Nordlander, Mark P. Jones, Magnus Carlsson, Richard B. Kieburtz, Andrew P. Black

Proceedings of the 5th International Symposiun on Object Oriented Real-Time Distributed Computing, 2002

A formal specification of the Haskell 98 module system.

Iavor S. Diatchki, Mark P. Jones, Thomas Hallgren

Proceedings of the 2002 ACM SIGPLAN Workshop on Haskell, 2002

2000

Integrating Programming, Properties, and Validation.

Mark P. Jones

Proceedings of the Mathematics of Program Construction, 5th International Conference, 2000

Type Classes with Functional Dependencies.

Mark P. Jones

Proceedings of the Programming Languages and Systems, 2000

1997

First-class Polymorphism with Type Inference.

Mark P. Jones

Proceedings of the Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1997

1996

Using Parameterized Signatures to Express Modular Structure.

Mark P. Jones

Proceedings of the Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1996

1995

Dictionary-Free Overloading by Partial Evaluation.

Mark P. Jones

LISP Symb. Comput., 1995

A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism.

Mark P. Jones

J. Funct. Program., 1995

Monad Transformers and Modular Interpreters.

Sheng Liang, Paul Hudak, Mark P. Jones

Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995

Programming with Constructor Classes (Abstract)

Mark P. Jones

Proceedings of the Programming Languages: Implementations, 1995

Simplifying and Improving Qualified Types.

Mark P. Jones

Proceedings of the seventh international conference on Functional programming languages and computer architecture, 1995

Using Types to Parse Natural Language.

Mark P. Jones, Paul Hudak, Sebastian Shaumyan

Proceedings of the Functional Programming, Glasgow, UK, 1995, 1995

Functional Programming with Overloading and Higher-Order Polymorphism.

Mark P. Jones

Proceedings of the Advanced Functional Programming, 1995

1994

A Theory of Qualified Types.

Mark P. Jones

Sci. Comput. Program., 1994

ML Typing, Explicit Polymorphism and Qualified Types.

Mark P. Jones

Proceedings of the Theoretical Aspects of Computer Software, 1994

1993

Implementing Type Classes.

John Peterson, Mark P. Jones

Proceedings of the ACM SIGPLAN'93 Conference on Programming Language Design and Implementation (PLDI), 1993

1992

Computing with Lattices: An Application of Type Classes.

Mark P. Jones

J. Funct. Program., 1992

Programming with Constructor Classes (Preliminary Summary).

Mark P. Jones

Proceedings of the Functional Programming, 1992