BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Denmark
1 × Estonia
1 × Germany
1 × Sweden
1 × The Netherlands
2 × France
6 × USA
Collaborated with:
∅ I.S.Diatchki J.G.Morris R.Leslie J.Peterson S.Liang P.Hudak R.A.Eisenberg T.Hallgren A.P.Tolmach
Talks about:
type (9) program (6) class (6) function (5) polymorph (4) system (4) constructor (3) overload (3) qualifi (3) level (3)

Person: Mark P. Jones

DBLP DBLP: Jones:Mark_P=

Contributed to:

ICFP 20102010
ICFP 20082008
ICFP 20052005
ESOP 20002000
POPL 19971997
POPL 19961996
AFP 19951995
FPCA 19951995
PPDP 19951995
POPL 19951995
PEPM 19941994
FPCA 19931993
PLDI 19931993
ESOP 19921992
ESOP 19921994
Haskell 20062006
Haskell 20082008
POPL 20202020

Wrote 20 papers:

ICFP-2010-MorrisJ #programming
Instance chains: type class programming without overlapping instances (JGM, MPJ), pp. 375–386.
ICFP-2008-Jones #case study #domain-specific language #experience #game studies
Experience report: playing the DSL card (MPJ), pp. 87–90.
ICFP-2008-Jones08a #functional #morphism #perspective #polymorphism #programming
Polymorphism and page tables: systems programming from a functional programmer’s perspective (MPJ), pp. 265–266.
ICFP-2005-DiatchkiJL #low level
High-level views on low-level representations (ISD, MPJ, RL), pp. 168–179.
ICFP-2005-HallgrenJLT #approach #haskell #operating system
A principled approach to operating system construction in Haskell (TH, MPJ, RL, APT), pp. 116–128.
ESOP-2000-Jones #dependence #functional
Type Classes with Functional Dependencies (MPJ), pp. 230–244.
POPL-1997-Jones #morphism #polymorphism #type inference
First-class Polymorphism with Type Inference (MPJ), pp. 483–496.
POPL-1996-Jones #composition #using
Using Parameterized Signatures to Express Modular Structure (MPJ), pp. 68–78.
AFP-1995-Jones95 #functional #higher-order #morphism #polymorphism #programming
Functional Programming with Overloading and Higher-Order Polymorphism (MPJ), pp. 97–136.
FPCA-1995-Jones
Simplifying and Improving Qualified Types (MPJ), pp. 160–169.
PLILP-1995-Jones #programming
Programming with Constructor Classes (MPJ), p. 26.
POPL-1995-LiangHJ #composition #monad
Monad Transformers and Modular Interpreters (SL, PH, MPJ), pp. 333–343.
PEPM-1994-Jones #partial evaluation
Dictionary-Free Overloading by Partial Evaluation (MPJ), pp. 107–117.
FPCA-1993-Jones #higher-order #morphism #polymorphism
A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism (MPJ), pp. 52–64.
PLDI-1993-PetersonJ #implementation
Implementing Type Classes (JP, MPJ), pp. 227–236.
ESOP-1992-Jones #formal method
A Theory of Qualified Types (MPJ), pp. 287–306.
ESOP-J-1992-Jones94 #formal method
A Theory of Qualified Types (MPJ), pp. 231–256.
Haskell-2006-DiatchkiJ #data type #functional #memory management #programming
Strongly typed memory areas programming systems-level data structures in a functional language (ISD, MPJ), pp. 72–83.
Haskell-2008-JonesD #dependence #design #functional
Language and program design for functional dependencies (MPJ, ISD), pp. 87–98.
POPL-2020-JonesME #ad hoc #data type
Partial type constructors: or, making ad hoc datatypes less ad hoc (MPJ, JGM, RAE), p. 28.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.