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.

Cloud List

Computer Science Series Advanced Functional Programming Techniques Type Class Programming Overlapping Instances Experience Report British Columbia Functional Dependencies Programming Language Design Functional Language Systems Software Operating Systems Domain Specific Language Component Configuration Program Design System Construction Principled Approach Low Level Representations High Level Views Formal Specification Formal Underpinnings Design Space Extensible Records Oregon Graduate Institute Qualified Types First Class Polymorphism Type Inference User Manual Polymorphic Type System Partial Evaluation Computer Architecture, Computer Architectures Computer Software First Class Structures Natural Language

List of Publications (40)

In 2010

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

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

In 2007

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

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

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

In 2004

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

In 2002

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

In 2001

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

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

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

In 1998

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

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

In 1996

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

In 1995

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

In 1994

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

In 1993

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

In 1992

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

Search Profiles

Colleagues

Eric Fruits

Portland State University

Elyssa Kelly

Portland State University

Randall Morris

Portland State University

View All Colleagues

People Also Viewed

Leigh Holman

University of Memphis (Main)

Undrah Baasanjav

Southern Illinois University Edwardsville

$Profile Picture of Barton Willis$

Barton Willis

University of Nebraska at Kearney

Recommended Grants

Continuation of Solicitation for the Office Of Science Financial Assistance Program - Advanced Scientific Computing Research (ASCR): Computer Science

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

2021 Solicitation 1 Office of Science Graduate Student Research (SCGSR) Program: Advanced Scientific Computing Research (ASCR) - Computer Science

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

Technion Fellowships Visiting Professors

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

Technion Fellowships Post-Doctoral

Exclude from Your Search

All Disciplines, Honduras

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

Orthogonal Polynomials, Special Functions, and Digital Repositories

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

Technion Fellowships Graduate Students

Exclude from Your Search

HostingAdvice.com Future Web Developers Scholarship

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

BRAIN Initiative: Proof of Concept Development of Early Stage Next Generation Human Brain Imaging (R01 Clinical Trial Not Allowed)

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

Measurement Science and Engineering (MSE) Research Grant Programs - Information Technology Laboratory (ITL) - Advanced Network Technologies Division (ANTD)

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