Mark P. Jones

According to our database1, Mark P. Jones authored at least 29 papers between 1992 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Partial type constructors: or, making ad hoc datatypes less ad hoc.
Proc. ACM Program. Lang., 2020

2018
MIL, a Monadic Intermediate Language for Implementing Functional Languages.
Proceedings of the 30th Symposium on Implementation and Application of Functional Languages, 2018

2013
Solving the snake cube puzzle in Haskell.
J. Funct. Program., 2013

2010
Instance chains: type class programming without overlapping instances.
Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

2008
Polymorphism and page tables: systems programming from a functional programmer's perspective.
Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

Experience report: playing the DSL card.
Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

Language and program design for functional dependencies.
Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, 2008

2007
Writing systems software in a functional language: an experience report.
Proceedings of the 4th workshop on Programming languages and operating systems, 2007

2006
Strongly typed memory areas programming systems-level data structures in a functional language.
Proceedings of the ACM SIGPLAN Workshop on Haskell, 2006

2005
A principled approach to operating system construction in Haskell.
Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

High-level views on low-level representations.
Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

2004
Composing fractals.
J. Funct. Program., 2004

2002
Reactive Objects.
Proceedings of the 5th International Symposiun on Object Oriented Real-Time Distributed Computing, 2002

2000
Integrating Programming, Properties, and Validation.
Proceedings of the Mathematics of Program Construction, 5th International Conference, 2000

Type Classes with Functional Dependencies.
Proceedings of the Programming Languages and Systems, 2000

1997
First-class Polymorphism with Type Inference.
Proceedings of the Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1997

1996
Using Parameterized Signatures to Express Modular Structure.
Proceedings of the Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1996

1995
Dictionary-Free Overloading by Partial Evaluation.
LISP Symb. Comput., 1995

A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism.
J. Funct. Program., 1995

Monad Transformers and Modular Interpreters.
Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995

Programming with Constructor Classes (Abstract)
Proceedings of the Programming Languages: Implementations, 1995

Simplifying and Improving Qualified Types.
Proceedings of the seventh international conference on Functional programming languages and computer architecture, 1995

Using Types to Parse Natural Language.
Proceedings of the Functional Programming, Glasgow, UK, 1995, 1995

Functional Programming with Overloading and Higher-Order Polymorphism.
Proceedings of the Advanced Functional Programming, 1995

1994
A Theory of Qualified Types.
Sci. Comput. Program., 1994

ML Typing, Explicit Polymorphism and Qualified Types.
Proceedings of the Theoretical Aspects of Computer Software, 1994

1993
Implementing Type Classes.
Proceedings of the ACM SIGPLAN'93 Conference on Programming Language Design and Implementation (PLDI), 1993

1992
Computing with Lattices: An Application of Type Classes.
J. Funct. Program., 1992

Programming with Constructor Classes (Preliminary Summary).
Proceedings of the Functional Programming, 1992


  Loading...