Hypertext and Pluralism: From Lineal to Non-Lineal Thinking. - William O. Beeman; Kenneth T. Anderson; Gail Bader; James Larkin; Anne P. McClard; Patrick McQuillan; Mark Shields (Hypertext, 1987)

Bridging the Gulf: A Common Intermediate Language for ML and Haskell. - Simon L. Peyton Jones; Mark Shields; John Launchbury; Andrew P. Tolmach (POPL, 1998)

Dynamic Typing as Staged Type Inference. - Mark Shields; Tim Sheard; Simon L. Peyton Jones (POPL, 1998)

Implicit Parameters: Dynamic Scoping with Static Types. - Jeffrey R. Lewis; John Launchbury; Erik Meijer 001; Mark Shields (POPL, 2000)

Type-indexed rows. - Mark Shields; Erik Meijer 001 (POPL, 2001)

Object-Oriented Style Overloading for Haskell. - Mark Shields; Simon L. Peyton Jones (BABEL, 2001)

A verifying core for a cryptographic language compiler. - Lee Pike; Mark Shields; John Matthews (ACL2, 2006)

Viewpoint Paper: Viewpoint: A Pragmatic Approach to Constructing a Minimum Data Set for Care of Patients with HIV in Developing Countries. - William M. Tierney; Eduard J. Beck; Reed M. Gardner; Beverly Musick; Mark Shields; Naomi M. Shiyonga; Mark H. Spohr (J. Am. Medical Informatics Assoc., 2006)

Practical type inference for arbitrary-rank types. - Simon L. Peyton Jones; Dimitrios Vytiniotis; Stephanie Weirich; Mark Shields (J. Funct. Program., 2007)