Mark P. Jones

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A Practical Fixed-Parameter Algorithm for Constructing Tree-Child Networks from Multiple Binary Trees (available as arXiv preprint)	2019-07-19	Paper
Instance chains: type class programming without overlapping instances Proceedings of the 15th ACM SIGPLAN international conference on Functional programming	2015-03-05	Paper
A principled approach to operating system construction in Haskell Proceedings of the tenth ACM SIGPLAN international conference on Functional programming	2015-01-06	Paper
High-level views on low-level representations Proceedings of the tenth ACM SIGPLAN international conference on Functional programming	2015-01-06	Paper
Parameterized Complexity of Directed Steiner Tree on Sparse Graphs Lecture Notes in Computer Science	2013-09-17	Paper
Fixed-parameter tractability of satisfying beyond the number of variables Theory and Applications of Satisfiability Testing – SAT 2012	2013-08-12	Paper
Solving the snake cube puzzle in Haskell Journal of Functional Programming	2013-06-14	Paper
Parameterized study of the test cover problem Mathematical Foundations of Computer Science 2012	2012-09-25	Paper
FUNCTIONAL PEARL <i>Composing fractals</i> Journal of Functional Programming	2005-03-21	Paper
Type classes with functional dependencies	2001-11-06	Paper
ML typing, explicit polymorphism and qualified types Lecture Notes in Computer Science	2000-07-20	Paper
Qualified Types	1995-11-23	Paper
A system of constructor classes: overloading and implicit higher-order polymorphism Journal of Functional Programming	1995-09-11	Paper
A theory of qualified types Science of Computer Programming	1994-07-21	Paper

Research outcomes over time

This page was built for person: Mark P. Jones