Mark P. Jones

	2008
26		Mark P. Jones: Polymorphism and page tables: systems programming from a functional programmer's perspective. ICFP 2008: 265-266
25		Mark P. Jones: Experience report: playing the DSL card. ICFP 2008: 87-90
	2006
24		Iavor S. Diatchki, Mark P. Jones: Strongly typed memory areas programming systems-level data structures in a functional language. Haskell 2006: 72-83
	2005
23		Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew P. Tolmach: A principled approach to operating system construction in Haskell. ICFP 2005: 116-128
22		Iavor S. Diatchki, Mark P. Jones, Rebekah Leslie: High-level views on low-level representations. ICFP 2005: 168-179
	2004
21		Mark P. Jones: Composing fractals. J. Funct. Program. 14(6): 715-725 (2004)
	2002
20		Johan Nordlander, Mark P. Jones, Magnus Carlsson, Richard B. Kieburtz, Andrew P. Black: Reactive Objects. Symposium on Object-Oriented Real-Time Distributed Computing 2002: 155-158
	2000
19		Mark P. Jones: Type Classes with Functional Dependencies. ESOP 2000: 230-244
18		Mark P. Jones: Integrating Programming, Properties, and Validation. MPC 2000: 1
	1997
17		Mark P. Jones: First-class Polymorphism with Type Inference. POPL 1997: 483-496
	1996
16		Mark P. Jones: Using Parameterized Signatures to Express Modular Structure. POPL 1996: 68-78
	1995
15		Mark P. Jones: Functional Programming with Overloading and Higher-Order Polymorphism. Advanced Functional Programming 1995: 97-136
14		Mark P. Jones: Simplifying and Improving Qualified Types. FPCA 1995: 160-169
13		Mark P. Jones, Paul Hudak, Sebastian Shaumyan: Using Types to Parse Natural Language. Functional Programming 1995: 7
12		Mark P. Jones: Programming with Constructor Classes (Abstract) PLILP 1995: 26
11		Sheng Liang, Paul Hudak, Mark P. Jones: Monad Transformers and Modular Interpreters. POPL 1995: 333-343
10		Mark P. Jones: A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism. J. Funct. Program. 5(1): 1-35 (1995)
9		Mark P. Jones: Dictionary-Free Overloading by Partial Evaluation. Lisp and Symbolic Computation 8(3): 229-248 (1995)
	1994
8		Mark P. Jones: Dictionary-Free Overloading by Partial Evaluation. PEPM 1994: 107-117
7		Mark P. Jones: ML Typing, Explicit Polymorphism and Qualified Types. TACS 1994: 56-75
6		Mark P. Jones: A Theory of Qualified Types. Sci. Comput. Program. 22(3): 231-256 (1994)
	1993
5		Mark P. Jones: A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism. FPCA 1993: 52-64
4		John Peterson, Mark P. Jones: Implementing Type Classes. PLDI 1993: 227-236
	1992
3		Mark P. Jones: A Theory of Qualified Types. ESOP 1992: 287-306
2		Mark P. Jones: Programming with Constructor Classes (Preliminary Summary). Functional Programming 1992: 122-133
1		Mark P. Jones: Computing with Lattices: An Application of Type Classes. J. Funct. Program. 2(4): 475-503 (1992)

Coauthor Index

1	Andrew P. Black	[20]
2	Magnus Carlsson	[20]
3	Iavor S. Diatchki	[22] [24]
4	Thomas Hallgren	[23]
5	Paul Hudak	[11] [13]
6	Richard B. Kieburtz (Dick Kieburtz)	[20]
7	Rebekah Leslie	[22] [23]
8	Sheng Liang	[11]
9	Johan Nordlander	[20]
10	John Peterson	[4]
11	Sebastian Shaumyan	[13]
12	Andrew P. Tolmach	[23]