Mark Shields

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

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

Lee Pike, Mark Shields, John Matthews: A verifying core for a cryptographic language compiler. ACL2 2006: 1-10

Mark Shields, Simon L. Peyton Jones: Object-Oriented Style Overloading for Haskell. Electr. Notes Theor. Comput. Sci. 59(1): 89-108 (2001)

Mark Shields, Erik Meijer: Type-indexed rows. POPL 2001: 261-275

Jeffrey R. Lewis, John Launchbury, Erik Meijer, Mark Shields: Implicit Parameters: Dynamic Scoping with Static Types. POPL 2000: 108-118

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

Mark Shields, Tim Sheard, Simon L. Peyton Jones: Dynamic Typing as Staged Type Inference. POPL 1998: 289-302

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