Mark Shields
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
1
Active years
1998–2001
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2001 | POPL | Type-indexed rows. | Mark Shields, Erik Meijer |
| 2000 | POPL | Implicit Parameters: Dynamic Scoping with Static Types. | Jeffrey R. Lewis, John Launchbury, Erik Meijer, Mark Shields |
| 1998 | POPL | Bridging the Gulf: A Common Intermediate Language for ML and Haskell. | Simon L. Peyton Jones, Mark Shields, John Launchbury, Andrew P. Tolmach |
| 1998 | POPL | Dynamic Typing as Staged Type Inference. | Mark Shields, Tim Sheard, Simon L. Peyton Jones |