- Typing Haskell in Haskell Mark P. Jones
- Using Parameterized Signatures to Express Modular Structure Mark P. Jones
- High-level Views on Low-level Representations Iavor S. Diatchki
- Dictionaryfree Overloading by Partial Evaluation Mark P. Jones
- MonadTransformersand Modular Interpreters \Lambda Sheng Liang Paul Hudak Mark Jones y
- Simplifying and Improving Qualified Types Mark P. Jones
- Dictionary-free Overloading by Partial Evaluation Mark P. Jones
- First-class Polymorphism with Type Inference Mark P. Jones
- Under consideration for publication in J. Functional Programming 1 Typing Haskell in Haskell
- Simplifying and Improving Qualified Types Mark P. Jones
- Using Parameterized Signatures to Express Modular Structure Mark P. Jones
- A system of constructor classes: overloading and implicit higher-order polymorphism
- Composing monads \Lambda Mark P. Jones
- Typing Haskell in Haskell Mark P. Jones
- Composed, and in Control: Programming the Timber Robot
- ML typing, explicit polymorphism and qualified Mark P. Jones
- The Haskell User's Gofer System User Manual
- Partial Evaluation for Dictionaryfree Overloading Mark P. Jones
- From HindleyMilner Types to FirstClass Structures Mark P. Jones
- Strongly Typed Memory Areas Programming Systems-Level Data Structures in a Functional Language
- A Polymorphic Type System for Extensible Records and Variants Benedict R. Gaster and Mark P. Jones
- From Hindley-Milner Types to First-Class Structures Mark P. Jones
- Using Types to Parse Natural Mark P. Jones
- Simplifying and Improving Qualified Types Mark P. Jones
- A Principled Approach to Operating System Construction in Haskell
- The implementation of the Gofer functional programming system Mark P. Jones
- The Haskell User's Gofer System User Manual
- Coherence for qualified types Mark P. Jones \Lambda
- Under consideration for publication in J. Functional Programming 1 Composing Fractals
- Under consideration for publication in J. Functional Programming 1 Typing Haskell in Haskell
- Partial Evaluation for Dictionary-free Overloading Mark P. Jones
- Dealing with Evidence: The Programatica Certificate Abstraction
- Experience Report: Playing the DSL Card A Domain Specific Language for Component Configuration
- The Functions of Java Bytecode Mark P. Jones
- Implicit and Explicit Parallel Programming in Haskell
- A system of constructor classes: overloading and implicit higherorder polymorphism
- Implementing Type Classes John Peterson and Mark Jones
- The implementation of the Gofer functional programming system Mark P. Jones
- Type classes: an exploration of the design space Simon Peyton Jones
- Exploring the Design Space for Type-based Implicit Parameterization
- The Essence of AspectJ [Functional Pearl]
- A Polymorphic Type System for Extensible Records and Variants Benedict R. Gaster and Mark P. Jones
- Using Types to Parse Natural Mark P. Jones
- Functional Programming with Overloading and Higher-Order Polymorphism
- ML typing, explicit polymorphism and qualified Mark P. Jones
- Coherence for qualified types Mark P. Jones
- Implicit and Explicit Parallel Programming in Haskell
- A theory of qualified types Mark P. Jones
- A theory of qualified types \Lambda Mark P. Jones y
- Instance Chains: Type Class Programming Without Overlapping Instances
- Language and Program Design for Functional Dependencies Mark P. Jones
- Writing Systems Software in a Functional Language An Experience Report
- Implicit and Explicit Parallel Programming in Haskell
- Using Parameterized Signatures to Express Modular Structure Mark P. Jones
- ML typing, explicit polymorphism and qualified types
- Simplifying and Improving Qualified Types Mark P. Jones
- Hugs 1.3 The Haskell User's Gofer System
- From Hindley-Milner Types to First-Class Structures Mark P. Jones
- Simplifying and Improving Qualified Types Mark P. Jones
- Functional Programming with Overloading and HigherOrder Polymorphism
- The Haskell User's Gofer System User Manual
- Firstclass Polymorphism with Type Inference Mark P. Jones
- Lightweight Extensible Records for Haskell Mark P. Jones
- Type Classes with Functional Dependencies Appears in Proceedings of the 9th European Symposium on Programming,
- Coherence for qualified types Mark P. Jones*
- Using Types to Parse Natural Language
- Functional Programming with Overloading and Higher-Order Polymorphism
- Hugs 1.3 The Haskell User's Gofer System
- The implementation of the Gofer functional programming system Mark P. Jones
- A system of constructor classes: overloading and implicit higher-order polymorphism
- Evidence Management in Programatica Mark P. Jones
- Composing monads Mark P. Jones
- Reactive Objects Johan Nordlander, Mark P. Jones, Magnus Carlsson, Richard B. Kieburtz, and Andrew Black
- A Formal Specification of the Haskell 98 Module System Iavor S. Diatchki, Mark P. Jones, Thomas Hallgren
- Simplifying and Improving Qualified Types Mark P. Jones
- Partial Evaluation for Dictionary-free Overloading Mark P. Jones
- Dictionary-free Overloading by Partial Evaluation Mark P. Jones
- A theory of qualified types* Mark P. Jonesy
- A Polymorphic Type System for Extensible Records and Variants Benedict R. Gaster and Mark P. Jones
- First-class Polymorphism with Type Inference Mark P. Jones
- Composing monads* Mark P. Jones Luc Duponcheel
