Concepedia

Mark Shields

MS

Statistics

Publications

9

Citations

586

H-Index

9

Active since

1998

Affiliations

Oregon Research Institute(Current)

Microsoft Research (United Kingdom)

Utrecht University

Mark Shields is an author at Oregon Research Institute specializing in engineering, formal methods, and computer science.

Top concepts

Publications per year

1998–2006

9

Publications

9

Practical type inference for arbitrary-rank types

Simon Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich et al. · Journal of Functional Programming · 2006 · 209 citations · Full text

, , +14

Implicit parameters

Jeffrey R. Lewis, John Launchbury, Erik Meijer et al. · 2000 · 153 citations · Full text

, , +14

Dynamic typing as staged type inference

Mark Shields, Tim Sheard, Simon Peyton Jones · 1998 · 59 citations · Full text

, , +15

Type-indexed rows

Mark Shields, Erik Meijer · 2001 · 44 citations

Lexically-scoped type variables

Simon Peyton Jones, Mark Shields · 2002 · 33 citations

, , +19

1–5 of 9