Selected Publications

Please check the notice at the end of this page.

Instance Chains: Type Class Programming Without Overlapping Instances. J. Garrett Morris and Mark P. Jones. In Proceedings of the 15th ACM SIGPLAN International Conference on Functional Programming (ICFP '10), Baltimore, Maryland, September 27-29, 2010.

Language and Program Design for Functional Dependencies. Mark P. Jones and Iavor Diatchki. In Proceedings of the ACM Haskell Symposium (Haskell '08), Victoria, British Columbia, Canada, September 25, 2008.

Experience Report: Playing the DSL Card, A Domain Specific Language for Component Configuration. Mark P. Jones. In Proceedings of the 13th ACM International Conference on Functional Programming (ICFP '08), Victoria, British Columbia, Canada, September 22, 2008.

Writing Systems Software in a Functional Language: An Experience Report. Iavor S. Diatchki, Thomas Hallgren, Mark P. Jones, Rebekah Leslie, and Andrew Tolmach. In Proceedings of the Fourth Workshop on Programming Languages and Operating Systems (PLOS 2007), sponsored by ACM SIGOPS, Stevenson, Washington, October 2007.

Strongly Typed Memory Areas. Iavor S. Diatchki, and Mark P. Jones. In Proceedings of the ACM SIGPLAN 2006 Haskell Workshop, Portland, Oregon, September 2006.

Evidence Management in Programatica. Mark P. Jones. In Proceedings of the 2005 Automated Software Engineering Workshop on Software Certificate Management (SoftCeMent '05), Long Beach, CA, November 2005.

High-level Views on Low-level Representations. Iavor S. Diatchki, Mark P. Jones, and Rebekah Leslie. In Proceedings of the International Conference on Functional Programming (ICFP 2005), Tallinn, Estonia, September 2005.

A Principled Approach to Operating System Construction in Haskell. Thomas Hallgren, Mark Jones, Andrew Tolmach, and Rebekah Leslie. In Proceedings of the International Conference on Functional Programming (ICFP 2005), Tallinn, Estonia, September 2005.

Composing Fractals (Functional Pearl). Mark P. Jones. Journal of Functional Programming, 14(6), November 2004.

A Formal Specification for the Haskell 98 Module System. Iavor S. Diatchki, Mark P. Jones, and Thomas Hallgren. In Proceedings of the ACM SIGPLAN 2002 Haskell Workshop, Pittsburgh, PA, October 2002.

Composed, and in Control: Programming the Timber Robot. Mark P. Jones, Magnus Carlsson, and Johan Nordlander. Technical Report. Department of Computer Science & Engineering, OGI School of Science & Engineering at OHSU, September 2002.

Dealing with Evidence: The Programatica Certificate Abstraction. Mark P. Jones. Department of Computer Science & Engineering, OGI School of Science & Engineering at OHSU, January 2002.

The Essence of AspectJ. Mark P. Jones. Technical Report. Department of Computer Science & Engineering, OGI School of Science & Engineering at OHSU, March 2001.

Reactive Objects. Johan Nordlander, Mark Jones, Magnus Carlsson, Dick Kieburtz, and Andrew Black. In Proceedings of the Fifth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2002), Arlington, VA, 2002.

Type Classes with Functional Dependencies, Mark P. Jones, In Proceedings of the 9th European Symposium on Programming, ESOP 2000, Berlin, Germany, March 2000, Springer-Verlag LNCS 1782.

Typing Haskell in Haskell, Mark P. Jones, In Proceedings of the 1999 Haskell Workshop, Paris, France, October 1999. Published in Technical Report UU-CS-1999-28, Department of Computer Science, University of Utrecht.

Lightweight Extensible Records for Haskell, Mark P. Jones and Simon Peyton Jones. In Proceedings of the 1999 Haskell Workshop, Paris, France, October 1999. Published in Technical Report UU-CS-1999-28, Department of Computer Science, University of Utrecht.

Exploring the Design Space for Type-based Implicit Parameterization, Mark P. Jones, Oregon Graduate Institute of Science & Technology, Technical Report, July 1999.

The Functions of Java Bytecode, Mark P. Jones. In Proceedings of the OOPSLA '98 workshop on Formal Underpinnings of Java, Vancouver, BC, Canada, October 1998.

Type classes: exploring the design space, Simon Peyton Jones, Mark Jones, Erik Meijer, In Proceedings of the Haskell Workshop, Amsterdam, The Netherlands, 6th June 1997.

First-class Polymorphism with Type Inference, Mark P. Jones, In Proceedings of the Twenty Fourth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Paris, France, January 15-17, 1997.

A Polymorphic Type System for Extensible Records and Variants, Benedict R. Gaster and Mark P. Jones, Technical report NOTTCS-TR-96-3, November 1996, Department of Computer Science, University of Nottingham, University Park, Nottingham NG7 2RD, England.

Hugs 1.3, The Haskell User's Gofer System: User Manual, Mark P. Jones, Technical Report NOTTCS-TR-96-2, August 1996, Functional Programming Research Group, Department of Computer Science, University of Nottingham, Nottingham NG7 2RD, England.

Using Parameterized Signatures to Express Modular Structure, Mark P. Jones, In Proceedings of the Twenty Third Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, St. Petersburg Beach, Florida, January 21-24, 1996.

Using Types to Parse Natural Language, Mark P. Jones, Paul Hudak, and Sebastian Shaumyan, In Proceedings of the Glasgow Workshop on Functional Programming, Ullapool, Scotland, July 1995. To be published in the Springer-Verlag Workshops in Computer Science Series.

From Hindley-Milner Types to First-Class Structures, Mark P. Jones, Proceedings of the Haskell Workshop, La Jolla, California, Yale University Research Report YALEU/DCS/RR-1075, June 25, 1995.

Functional Programming with Overloading and Higher-Order Polymorphism Mark P. Jones, First International Spring School on Advanced Functional Programming Techniques, B{\aa}stad, Sweden, Springer-Verlag Lecture Notes in Computer Science 925, May 1995.

Monad Transformers and Modular Interpreters, Sheng Liang, Paul Hudak, and Mark P. Jones, In Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, CA, January 1995.

Qualified Types: Theory and Practice, Mark P. Jones, Cambridge University Press, November 1994.

Dictionary-free Overloading by Partial Evaluation, Mark P. Jones, ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Orlando, Florida, June 1994.

Simplifying and Improving Qualified Types, Mark P. Jones, Research Report YALEU/DCS/RR-1040, Yale University, New Haven, Connecticut, USA, June 1994. (Shorter revised version, without proofs, appears in FPCA '95: Conference on Functional Programming Languages and Computer Architecture, La Jolla, CA, June 1995.)

The implementation of the Gofer functional programming system, Mark P. Jones, Research Report YALEU/DCS/RR-1030, Yale University, New Haven, Connecticut, USA, May 1994.

ML typing, explicit polymorphism and qualified types Mark P. Jones, In TACS '94: Conference on theoretical aspects of computer software, Sendai, Japan, Springer-Verlag Lecture Notes in Computer Science, 789, April, 1994.

Composing Monads, Mark P. Jones and Luc Duponcheel, Research Report YALEU/DCS/RR-1004, Yale University, New Haven, Connecticut, USA, December 1993.

Coherence for qualified types, Mark P. Jones, Research Report YALEU/DCS/RR-989, Yale University, New Haven, Connecticut, USA, September 1993.

Implicit and explicit parallel programming in Haskell Mark P. Jones and Paul Hudak, Research Report YALEU/DCS/RR-982, Yale University, New Haven, Connecticut, USA, August 1993.

A system of constructor classes: overloading and implicit higher-order polymorphism, Mark P. Jones, In FPCA '93: Conference on Functional Programming Languages and Computer Architecture, Copenhagen, Denmark, June 1993. (Appears, in extended form, in the Journal of Functional Programming, 5, 1, Cambridge University Press, January 1995.)

Implementing Type Classes, John Peterson and Mark P. Jones, In Proceedings of ACM SIGPLAN Symposium on Programming Language Design and Implementation, ACM SIGPLAN, June 1993.

Computing with lattices: An application of type classes Mark P. Jones, Journal of Functional Programming, 2, 4, Cambridge University Press, October 1992.

A theory of qualified types, Mark P. Jones, In ESOP '92: European Symposium on Programming, Rennes, France, Springer-Verlag Lecture Notes in Computer Science, 582, February 1992.

Notice

To satisfy the conditions of certain publishers regarding distribution of my papers on the web, I have been asked to include the following:

The documents contained in these directories are included by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit written permission of the copyright holder.