2007 |
8 | EE | 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) |
2006 |
7 | EE | Lee Pike,
Mark Shields,
John Matthews:
A verifying core for a cryptographic language compiler.
ACL2 2006: 1-10 |
2001 |
6 | EE | Mark Shields,
Erik Meijer:
Type-indexed rows.
POPL 2001: 261-275 |
5 | EE | Mark Shields,
Simon L. Peyton Jones:
Object-Oriented Style Overloading for Haskell.
Electr. Notes Theor. Comput. Sci. 59(1): (2001) |
2000 |
4 | EE | Jeffrey R. Lewis,
John Launchbury,
Erik Meijer,
Mark Shields:
Implicit Parameters: Dynamic Scoping with Static Types.
POPL 2000: 108-118 |
1998 |
3 | EE | Mark Shields,
Tim Sheard,
Simon L. Peyton Jones:
Dynamic Typing as Staged Type Inference.
POPL 1998: 289-302 |
2 | EE | 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 |
1987 |
1 | EE | 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 |