Mark Jones

Profile Picture of Mark Jones
Title
Professor

Department
Computer Science

Institution
Portland State University

Email
mpj@cs.pdx.edu
Education
  • DPhil. in computation from University of Oxford
Research Interests
Computer Science Series   Advanced Functional Programming Techniques   Type Class Programming  

  View all research interests
Biography
I am a Professor in the Department of Computer Science in the Maseeh College of Engineering & Computer Science at Portland State University in Portland, Oregon, USA. My research interests include all aspects of programming language design, implementation, and application. I am particularly interested in the use of advanced programming language technologies for systems programming, and in the development and application of expressive type and module systems that support the construction and certification of secure and reliable software systems. I am a member of IFIP Working Group 2.8 - Functional Programming. At various times, I served as a PI for the HASP, Programatica and the Timber projects. (People still ask me about Timbot). I was the original designer and implementor of the Gofer and Hugs systems. But, after ten years' work, I no longer maintain or develop those systems. I live and work in Oregon in the USA. You'd like it here too ...
Homepages
Contact Information
  503-725-3206

Research
Not mentioned yet. (?)
List of Publications (40)
In 2010
40

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
In 2008
39

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
38

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
In 2007
37

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
In 2006
36

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
In 2005
35

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
34

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
33

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
In 2004
32

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

Found on Publication Text
In 2002
31

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
30

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
29

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
28

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
In 2001
27

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
In 2000
26

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
In 1999
25

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
24

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
23

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
In 1998
22

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
In 1997
21

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
20

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
In 1996
19

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
18

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
17

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
In 1995
16

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
15

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
14

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
13

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
12

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
11

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
In 1994
10

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

Found on Publication Text
9

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
8

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
7

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
In 1993
6

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
5

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
4

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
3

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
In 1992
2

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
1

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
Search Profiles
Colleagues
Profile Picture of Eric Fruits
Portland State University
Profile Picture of Elyssa Kelly
Portland State University
Profile Picture of Randall Morris
Portland State University
People Also Viewed
Profile Picture of Leigh Holman
University of Memphis (Main)
Profile Picture of Undrah Baasanjav
Southern Illinois University Edwardsville
Profile Picture of Barton Willis
University of Nebraska at Kearney
Recommended Grants
the frontiers of science. The computing resources and high-speed networks required to meet SC needs exceed the state- of- the-art by a significant margin. Furthermore, the system software, algorithms, software tools and libraries, programming models ... and their mathematical formalisms; Applications aimed at...
Exclude from Your Search
of Science mission and goals. Computer science research includes high performance systems hardware and software architecture, languages, compilers, programming models and environments, execution models, runtime systems, operating systems, scientific data ... The computing...
Exclude from Your Search
and Town Planning: Architectural design and town planning, landscape architecture, urban and regional planning, and environmental studies. "Computer Science": Automata and Formal Languages; Coding; Complexity; Computational Geometry; Cryptology; Distributed ... Computing; Logic and Semantics; Databases and Data...
Exclude from Your Search
and Town Planning: Architectural design and town planning, landscape architecture, urban and regional planning, and environmental studies. "Computer Science": Automata and Formal Languages; Coding; Complexity; Computational Geometry; Cryptology; Distributed ... Computing; Logic and Semantics; Databases and Data...
Exclude from Your Search
resources, structures, transportation, mining engineering, renewable energy, geotechnics); systems engineering (computational sciences, cyber security, software engineering); mechanical engineering (computer assisted mechanical design, renewable energy and energy ... UNICAH) UNICAH seeks support in establishing a new...
Exclude from Your Search
We conduct research in mathematics and computer science related to orthogonal polynomials and special functions. In the mathematics area, we investigate properties of the special functions of applied mathematics, especially series representations ... and/or their generalizations, the rank on symmetric spaces). Research in...
Exclude from Your Search
and Town Planning: Architectural design and town planning, landscape architecture, urban and regional planning, and environmental studies. "Computer Science": Automata and Formal Languages; Coding; Complexity; Computational Geometry; Cryptology; Distributed ... Computing; Logic and Semantics; Databases and Data...
Exclude from Your Search
The HostingAdvice.com Future Web Developers Scholarship, awarded annually, is available to undergraduate and graduate students aspiring to attain employment in the IT sector. Eligible majors include tracks of study in a number of computer science-related ... fields, including, but not limited to, web development, software engineering, digital security,...
Exclude from Your Search
processes Advanced computational techniques for real-time image reconstruction or source localization Behaviorally active human neuroimaging that allows for movement during imaging in more natural environments while maintaining high resolution Innovative multi ... insight about how the nervous system functions in health and...
Exclude from Your Search
Software Defined Networking; Network Programming; Next Generation Internet Architectures; Secure Communications for Cloud; Secure Distributed Computation; Secure Domain Name System Technologies; and Trusted Ad Hoc Networks ... and Mitigation Techniques; Graph Theory and Network Science; Information Centric Networking;...
Exclude from Your Search