Mark Shields

According to our database, Mark Shields authored at least 9 papers between 1987 and 2007.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2007

Practical type inference for arbitrary-rank types.

Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Mark Shields

J. Funct. Program., 2007

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

A verifying core for a cryptographic language compiler.

Lee Pike, Mark Shields, John Matthews

Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, 2006

2001

Object-Oriented Style Overloading for Haskell.

Mark Shields, Simon L. Peyton Jones

Proceedings of the First International Workshop on Multi-Language Infrastructure and Interoperability, 2001

Type-indexed rows.

Mark Shields, Erik Meijer

Proceedings of the Conference Record of POPL 2001: The 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2001

2000

Implicit Parameters: Dynamic Scoping with Static Types.

Jeffrey R. Lewis, John Launchbury, Erik Meijer, Mark Shields

Proceedings of the POPL 2000, 2000

1998

Dynamic Typing as Staged Type Inference.

Mark Shields, Tim Sheard, Simon L. Peyton Jones

Proceedings of the POPL '98, 1998

Bridging the Gulf: A Common Intermediate Language for ML and Haskell.

Simon L. Peyton Jones, Mark Shields, John Launchbury, Andrew P. Tolmach

Proceedings of the POPL '98, 1998

1987

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

Proceedings of the Hypertext'87 Proceedings, 1987