Mark Shields

Publication Activity (10 Years)

Years Active: 1987-2007
Publications (10 Years): 0

Publications

Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Mark Shields
Practical type inference for arbitrary-rank types. J. Funct. Program. 17 (1) (2007)
Lee Pike, Mark Shields, John Matthews
A verifying core for a cryptographic language compiler. ACL2 (2006)
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. J. Am. Medical Informatics Assoc. 13 (3) (2006)
Mark Shields, Erik Meijer
Type-indexed rows. POPL (2001)
Mark Shields, Simon L. Peyton Jones
Object-Oriented Style Overloading for Haskell. Electron. Notes Theor. Comput. Sci. 59 (1) (2001)
Jeffrey R. Lewis, John Launchbury, Erik Meijer, Mark Shields
Implicit Parameters: Dynamic Scoping with Static Types. POPL (2000)
Mark Shields, Tim Sheard, Simon L. Peyton Jones
Dynamic Typing as Staged Type Inference. POPL (1998)
Simon L. Peyton Jones, Mark Shields, John Launchbury, Andrew P. Tolmach
Bridging the Gulf: A Common Intermediate Language for ML and Haskell. POPL (1998)
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)