Mark Jones

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.

Found on Publication Text

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.

Found on Publication Text

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.

Found on Publication Text

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.

Found on Publication Text

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

Found on Publication Text

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.

Found on Publication Text

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.

Found on Publication Text

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.

Found on Publication Text

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

Found on Publication Text

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.

Found on Publication Text

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.

Found on Publication Text

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

Found on Publication Text

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.

Found on Publication Text

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

Found on Publication Text

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.

Found on Publication Text

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.

Found on Publication Text

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.

Found on Publication Text

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

Found on Publication Text

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.

Found on Publication Text

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.

Found on Publication Text

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.

Found on Publication Text

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.

Found on Publication Text

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.

Found on Publication Text

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.

Found on Publication Text

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.

Found on Publication Text

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.

Found on Publication Text

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.

Found on Publication Text

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.

Found on Publication Text

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.)

Found on Publication Text

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.)

Found on Publication Text

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

Found on Publication Text

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

Found on Publication Text

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.

Found on Publication Text

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.

Found on Publication Text

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

Found on Publication Text

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

Found on Publication Text

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.

Found on Publication Text

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.

Found on Publication Text

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

Found on Publication Text

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.

Found on Publication Text