Concepedia

Mark P. Jones

MP

37

Publications

2.2K

Citations

23

H-Index

1992

Active since

Affiliations

Yale University(Current)

Portland State University

Oregon Health & Science University

University of Nottingham

University of Brighton

Mark P. Jones is an author at Yale University specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisFormal VerificationAutomated ReasoningSoftware AnalysisComputer EngineeringSoftware EngineeringSoftware Design

Publications per year

1992–2020

37

Publications

37

Monad transformers and modular interpreters

Sheng Liang, Paul Hudak, Mark P. Jones · 1995 · 501 citations · Full text

Building Blocks, Engineering, Software Engineering +20

Reduced Longitudinal Excursion of the Median Nerve in Carpal Tunnel Syndrome

Alan D. Hough, Ann Moore, Mark P. Jones · Archives of Physical Medicine and Rehabilitation · 2007 · 129 citations

Median Nerve, Peripheral Nerves, Peripheral Nerve Injury +14

A system of constructor classes

Mark P. Jones · 1993 · 121 citations

Flexible Type System, Mathematical Structure, Constructor Classes +12

Type classes: an exploration of the design space

Simon Peyton Jones, Mark P. Jones, Erik Meijer · 1997 · 118 citations

A theory of qualified types

Mark P. Jones · Science of Computer Programming · 1994 · 104 citations

Engineering, Automated Reasoning, Polymorphism (Computer Science) +5

Rows per page

1–5 of 37