| |
| 2009 | ||
|---|---|---|
| 3 | EE | Aleksandar Nanevski, Paul Govereau, Greg Morrisett: Towards type-theoretic semantics for transactional concurrency. TLDI 2009: 79-90 |
| 2008 | ||
| 2 | EE | Aleksandar Nanevski, Greg Morrisett, Avraham Shinnar, Paul Govereau, Lars Birkedal: Ynot: dependent types for imperative programs. ICFP 2008: 229-240 |
| 2005 | ||
| 1 | EE | Norman Ramsey, Kathleen Fisher, Paul Govereau: An expressive language of signatures. ICFP 2005: 27-40 |
| 1 | Lars Birkedal | [2] |
| 2 | Kathleen Fisher | [1] |
| 3 | J. Gregory Morrisett (Greg Morrisett) | [2] [3] |
| 4 | Aleksandar Nanevski | [2] [3] |
| 5 | Norman Ramsey | [1] |
| 6 | Avraham Shinnar | [2] |