Mark P. Jones - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 34 from 34

2020

Partial type constructors: or, making ad hoc datatypes less ad hocMark P. Jones, J. Garrett Morris, Richard A. Eisenberg. PACMPL, 4(POPL), 2020. [doi]

2018

MIL, a Monadic Intermediate Language for Implementing Functional LanguagesMark P. Jones, Justin Bailey, Theodore R. Cooper. IFL 2018: 71-82 [doi]

2013

Solving the snake cube puzzle in HaskellMark P. Jones. JFP, 23(2):145-160, 2013. [doi]

2010

Instance chains: type class programming without overlapping instancesJ. Garrett Morris, Mark P. Jones. ICFP 2010: 375-386 [doi]

2008

Polymorphism and page tables: systems programming from a functional programmer s perspectiveMark P. Jones. ICFP 2008: 265-266 [doi]

Experience report: playing the DSL cardMark P. Jones. ICFP 2008: 87-90 [doi]

Language and program design for functional dependenciesMark P. Jones, Iavor S. Diatchki. haskell 2008: 87-98 [doi]

2007

Writing systems software in a functional language: an experience reportIavor S. Diatchki, Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew Tolmach. sosp 2007: [doi]

2006

Strongly typed memory areas programming systems-level data structures in a functional languageIavor S. Diatchki, Mark P. Jones. haskell 2006: 72-83 [doi]

2005

High-level views on low-level representationsIavor S. Diatchki, Mark P. Jones, Rebekah Leslie. ICFP 2005: 168-179 [doi]

A principled approach to operating system construction in HaskellThomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew P. Tolmach. ICFP 2005: 116-128 [doi]

2004

Composing fractalsMark P. Jones. JFP, 14(6):715-725, 2004. [doi]

2002

A formal specification of the Haskell 98 module systemIavor S. Diatchki, Mark P. Jones, Thomas Hallgren. haskell 2002: 17-28 [doi]

Reactive ObjectsJohan Nordlander, Mark P. Jones, Magnus Carlsson, Richard B. Kieburtz, Andrew P. Black. isorc 2002: 155-158 [doi]

2000

Type Classes with Functional DependenciesMark P. Jones. ESOP 2000: 230-244 [doi]

Integrating Programming, Properties, and ValidationMark P. Jones. mpc 2000: 1

1999

Typing Haskell in HaskellMark P. Jones. In Haskell Workshop. 1999: [doi]

1997

First-class Polymorphism with Type InferenceMark P. Jones. POPL 1997: 483-496 [doi]

1996

Using Parameterized Signatures to Express Modular StructureMark P. Jones. POPL 1996: 68-78 [doi]

1995

1994

A Theory of Qualified TypesMark P. Jones. SCP, 22(3):231-256, 1994.

Dictionary-Free Overloading by Partial EvaluationMark P. Jones. PEPM 1994: 107-117

ML Typing, Explicit Polymorphism and Qualified TypesMark P. Jones. tacs 1994: 56-75

1993

A System of Constructor Classes: Overloading and Implicit Higher-Order PolymorphismMark P. Jones. fpca 1993: 52-64

Implementing Type ClassesJohn Peterson, Mark P. Jones. PLDI 1993: 227-236

1992

A Theory of Qualified TypesMark P. Jones. ESOP 1992: 287-306

Programming with Constructor Classes (Preliminary Summary)Mark P. Jones. fp 1993: 122-133

Computing with Lattices: An Application of Type ClassesMark P. Jones. JFP, 2(4):475-503, 1992.

Sign in or sign up to see more results.

runs on WebDSL