Ross Paterson
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
1996–2012
Best venue rank
A
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | MPC | Constructing Applicative Functors. | Ross Paterson |
| 2010 | ICFP | Parametricity and dependent types. | Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson |
| 2009 | ICFP | Parametric datatype-genericity. | Jeremy Gibbons, Ross Paterson |
| 2001 | ICFP | A New Notation for Arrows. | Ross Paterson |
| 1996 | ESOP | Parametricity and Unboxing with Unpointed Types. | John Launchbury, Ross Paterson |
| 1996 | SAS | Compiling Laziness Using Projections. | Ross Paterson |