Mark P. Jones

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	2013
j6		Mark P. Jones: Solving the snake cube puzzle in Haskell. J. Funct. Program. 23(2): 145-160 (2013)
	2010
c23		J. Garrett Morris, Mark P. Jones: Instance chains: type class programming without overlapping instances. ICFP 2010: 375-386
	2008
c22		Mark P. Jones, Iavor S. Diatchki: Language and program design for functional dependencies. Haskell 2008: 87-98
c21		Mark P. Jones: Experience report: playing the DSL card. ICFP 2008: 87-90
c20		Mark P. Jones: Polymorphism and page tables: systems programming from a functional programmer's perspective. ICFP 2008: 265-266
	2006
c19		Iavor S. Diatchki, Mark P. Jones: Strongly typed memory areas programming systems-level data structures in a functional language. Haskell 2006: 72-83
	2005
c18		Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew P. Tolmach: A principled approach to operating system construction in Haskell. ICFP 2005: 116-128
c17		Iavor S. Diatchki, Mark P. Jones, Rebekah Leslie: High-level views on low-level representations. ICFP 2005: 168-179
	2004
j5		Mark P. Jones: Composing fractals. J. Funct. Program. 14(6): 715-725 (2004)
	2002
c16		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
c15		Mark P. Jones: Type Classes with Functional Dependencies. ESOP 2000: 230-244
c14		Mark P. Jones: Integrating Programming, Properties, and Validation. MPC 2000: 1
	1997
c13		Mark P. Jones: First-class Polymorphism with Type Inference. POPL 1997: 483-496
	1996
c12		Mark P. Jones: Using Parameterized Signatures to Express Modular Structure. POPL 1996: 68-78
	1995
j4		Mark P. Jones: A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism. J. Funct. Program. 5(1): 1-35 (1995)
j3		Mark P. Jones: Dictionary-Free Overloading by Partial Evaluation. Lisp and Symbolic Computation 8(3): 229-248 (1995)
c11		Mark P. Jones: Functional Programming with Overloading and Higher-Order Polymorphism. Advanced Functional Programming 1995: 97-136
c10		Mark P. Jones, Paul Hudak, Sebastian Shaumyan: Using Types to Parse Natural Language. Functional Programming 1995: 7
c9		Mark P. Jones: Simplifying and Improving Qualified Types. FPCA 1995: 160-169
c8		Mark P. Jones: Programming with Constructor Classes (Abstract). PLILP 1995: 26
c7		Sheng Liang, Paul Hudak, Mark P. Jones: Monad Transformers and Modular Interpreters. POPL 1995: 333-343
	1994
j2		Mark P. Jones: A Theory of Qualified Types. Sci. Comput. Program. 22(3): 231-256 (1994)
c6		Mark P. Jones: Dictionary-Free Overloading by Partial Evaluation. PEPM 1994: 107-117
c5		Mark P. Jones: ML Typing, Explicit Polymorphism and Qualified Types. TACS 1994: 56-75
	1993
c4		Mark P. Jones: A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism. FPCA 1993: 52-64
c3		John Peterson, Mark P. Jones: Implementing Type Classes. PLDI 1993: 227-236
	1992
j1		Mark P. Jones: Computing with Lattices: An Application of Type Classes. J. Funct. Program. 2(4): 475-503 (1992)
c2		Mark P. Jones: A Theory of Qualified Types. ESOP 1992: 287-306
c1		Mark P. Jones: Programming with Constructor Classes (Preliminary Summary). Functional Programming 1992: 122-133

Coauthor Index

1	Andrew P. Black	[c16]
2	Magnus Carlsson	[c16]
3	Iavor S. Diatchki	[c22] [c19] [c17]
4	Thomas Hallgren	[c18]
5	Paul Hudak	[c10] [c7]
6	Richard B. Kieburtz (Dick Kieburtz)	[c16]
7	Rebekah Leslie	[c18] [c17]
8	Sheng Liang	[c7]
9	J. Garrett Morris	[c23]
10	Johan Nordlander	[c16]
11	John Peterson	[c3]
12	Sebastian Shaumyan	[c10]
13	Andrew P. Tolmach	[c18]

Last update Sun May 19 05:00:39 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page