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] |