Mark P. Jones

发表

Qualified Types: Theory and Practice

Mark P. Jones, 1994 .

A Polymorphic Type System for Extensible Records and Variants

Benedict R. Gaster, Mark P. Jones, Mark P. Jones, 1996 .

Functional Programming with Overloading and Higher-Order Polymorphism

Mark P. Jones, Mark P. Jones, 1995, Advanced Functional Programming.

Evidence Management in Programatica

Mark P. Jones, 2005 .

Coherence for Qualiied Types

Mark P. Jones, 1993 .

Typing Haskell in

Mark P. Jones, 1999 .

Coherence for qualified types

Mark P. Jones, 2001 .

Programming with time-constrained reactions

Magnus Carlsson, Jan Åke Jönsson, Mark P. Jones, 2005 .

A Polymorphic Type System for Extensible Records

Benedict R. Gaster, Mark P. Jones, 1996 .

Functional Programming , Glasgow 1995 Proceedings of the 1995 Glasgow Workshop on Functional Programming , Ullapool , Scotland , 10-12 July 1995 Paper : Using Types to Parse Natural Language

C. J. V. Rijsbergen, P. Hudak, Mark P. Jones, 1996 .

Partial Type Constructors ( extended version ) Or , Making ad hoc datatypes less ad hoc

J. Garrett Morris, Mark P. Jones, R. Eisenberg, 2019 .

Partial Type Constructors (extended version)

J. Garrett Morris, Mark P. Jones, R. Eisenberg, 2019 .

Partial Type Constructors

J. Garrett Morris, Mark P. Jones, R. Eisenberg, 2019 .

Dealing with Evidence : The Programatica Certificate Abstraction

Mark P. Jones, 2002 .

The Essence of AspectJ [ Functional Pearl ]

Mark P. Jones, 2001 .

Hugs 98: A functional programming system based on Haskell 98

Mark P. Jones, John C. Peterson, Mark P. Jones, 1999 .

A system of constructor classes: overloading and implicit higher-order polymorphism

Mark P. Jones, Mark P. Jones, 1993, FPCA '93.

Type inference for qualified types

Mark P. Jones, Mark P. Jones, 1994 .

Using Types to Parse Natural Language

Paul Hudak, Sebastian Shaumyan, Mark P. Jones, 1995, Functional Programming.

Type Classes with Functional Dependencies

Mark P. Jones, Mark P. Jones, 2000, ESOP.

Type classes: an exploration of the design space

Simon Peyton Jones, Mark P. Jones, Erik Meijer, 1997 .

Reactive objects

Andrew P. Black, Magnus Carlsson, Mark P. Jones, 2002, Proceedings Fifth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. ISIRC 2002.

Composed, and in Control: Programming the Timber Robot

Magnus Carlsson, Mark P. Jones, Johan Nordlander, 2002 .

Typing Haskell in Haskell

Mark P. Jones, Mark P. Jones, 1999 .

Exploring the Design Space for Type-based Implicit Parameterization

Mark P. Jones, Mark P. Jones, 1999 .

From Hindley-Milner Types to First-Class Structures

Mark P. Jones, Mark P. Jones, 2001 .

First-class polymorphism with type inference

Mark P. Jones, Mark P. Jones, 1997, POPL '97.

Using parameterized signatures to express modular structure

Mark P. Jones, Mark P. Jones, 1996, POPL '96.

The implementation of the Gofer functional programming system

Mark P. Jones, Mark P. Jones, 1994 .

Solving the snake cube puzzle in Haskell

Mark P. Jones, Mark P. Jones, 2013, J. Funct. Program..

Monad transformers and modular interpreters

Paul Hudak, Mark Jones, Sheng Liang, 1995, POPL '95.

Implicit and Explicit Parallel Programming in Haskell

Paul Hudak, Mark P. Jones, P. Hudak, 1993 .

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

Mark P. Jones, Iavor S. Diatchki, Mark P. Jones, 2006, Haskell '06.

ML Typing, Explicit Polymorphism and Qualified Types

Mark P. Jones, Mark P. Jones, 1994, TACS.

Writing systems software in a functional language: an experience report

Mark P. Jones, Andrew Tolmach, Iavor S. Diatchki, 2007, PLOS '07.