| 2008 |
|---|
| 26 | EE | Mark P. Jones:
Polymorphism and page tables: systems programming from a functional programmer's perspective.
ICFP 2008: 265-266 |
| 25 | EE | Mark P. Jones:
Experience report: playing the DSL card.
ICFP 2008: 87-90 |
| 2006 |
|---|
| 24 | EE | 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 | EE | Thomas Hallgren,
Mark P. Jones,
Rebekah Leslie,
Andrew P. Tolmach:
A principled approach to operating system construction in Haskell.
ICFP 2005: 116-128 |
| 22 | EE | Iavor S. Diatchki,
Mark P. Jones,
Rebekah Leslie:
High-level views on low-level representations.
ICFP 2005: 168-179 |
| 2004 |
|---|
| 21 | EE | Mark P. Jones:
Composing fractals.
J. Funct. Program. 14(6): 715-725 (2004) |
| 2002 |
|---|
| 20 | EE | 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 | EE | 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 | EE | Mark P. Jones:
First-class Polymorphism with Type Inference.
POPL 1997: 483-496 |
| 1996 |
|---|
| 16 | EE | 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) |
