![]() |
| 2009 | ||
|---|---|---|
| 4 | EE | Paul Biggar, Edsko de Vries, David Gregg: A practical solution for scripting language compilers. SAC 2009: 1916-1923 |
| 2008 | ||
| 3 | EE | Wendy Verbruggen, Edsko de Vries, Arthur Hughes: Polytypic programming in COQ. ICFP-WGP 2008: 49-60 |
| 2007 | ||
| 2 | EE | Edsko de Vries, Rinus Plasmeijer, David M. Abrahamson: Uniqueness Typing Simplified. IFL 2007: 201-218 |
| 2006 | ||
| 1 | EE | Edsko de Vries, Rinus Plasmeijer, David M. Abrahamson: Uniqueness Typing Redefined. IFL 2006: 181-198 |
| 1 | David M. Abrahamson | [1] [2] |
| 2 | Paul Biggar | [4] |
| 3 | David Gregg | [4] |
| 4 | Arthur Hughes | [3] |
| 5 | Marinus J. Plasmeijer (Rinus Plasmeijer) | [1] [2] |
| 6 | Wendy Verbruggen | [3] |