Mark P. Jones

Available identifiers

Publication	Date of Publication	Type
A Practical Fixed-Parameter Algorithm for Constructing Tree-Child Networks from Multiple Binary Trees	2019-07-19	Paper
Instance chains: type class programming without overlapping instances	2015-03-05	Paper
A principled approach to operating system construction in Haskell	2015-01-06	Paper
High-level views on low-level representations	2015-01-06	Paper
Parameterized Complexity of Directed Steiner Tree on Sparse Graphs	2013-09-17	Paper
Fixed-parameter tractability of satisfying beyond the number of variables	2013-08-12	Paper
Solving the snake cube puzzle in Haskell	2013-06-14	Paper
Parameterized study of the test cover problem	2012-09-25	Paper
FUNCTIONAL PEARL Composing fractals	2005-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q2729056	2001-11-06	Paper
https://portal.mardi4nfdi.de/entity/Q4490720	2000-07-20	Paper
Qualified Types	1995-11-23	Paper
A system of constructor classes: overloading and implicit higher-order polymorphism	1995-09-11	Paper
A theory of qualified types	1994-07-21	Paper

This page was built for person: Mark P. Jones