Co-authors

1. Gavin M. Bierman (5 paper(s) during 2005-2010)
2. Daan Leijen (5 paper(s) during 1998-1999)
3. Sigbjorn Finne (3 paper(s) during 1998-2000)
4. Graham Hutton (3 paper(s) during 1995-1998)
5. Mads Torgersen (2 paper(s) during 2007-2010)
6. Brian Beckman (2 paper(s) during 2006)
7. Nigel Perry (2 paper(s) during 2001-2004)
8. Mark Shields (2 paper(s) during 2000-2001)
9. James Hook (2 paper(s) during 1998-1999)
10. Simon L. Peyton Jones (2 paper(s) during 1998-1999)
11. David J. Pearce (1 paper(s) during 2008)
12. Frank Tip (1 paper(s) during 2008)
13. James Noble (1 paper(s) during 2008)
14. Jiri Soukup (1 paper(s) during 2008)
15. Stephanie Balzer (1 paper(s) during 2008)
16. Stephen Nelson (1 paper(s) during 2008)
17. Bob Walker (1 paper(s) during 2006)
18. Christof Wittig (1 paper(s) during 2006)
19. Craig Russell (1 paper(s) during 2006)
20. Ken Rugg (1 paper(s) during 2006)
21. Patrick Linskey (1 paper(s) during 2006)
22. Ralf Lämmel (1 paper(s) during 2006)
23. Robert Greene (1 paper(s) during 2006)
24. William R. Cook (1 paper(s) during 2006)
25. Wolfram Schulte (1 paper(s) during 2005)
26. Dino Oliva (1 paper(s) during 2004)
27. Riccardo Pucella (1 paper(s) during 2004)
28. Clemens A. Szyperski (1 paper(s) during 2002)
29. Arjan van Yzendoorn (1 paper(s) during 2001)
30. Danny van Velzen (1 paper(s) during 2000)
31. Jeffrey R. Lewis (1 paper(s) during 2000)
32. John Launchbury (1 paper(s) during 2000)
33. Koen Claessen (1 paper(s) during 1997)
34. Ton Vullinghs (1 paper(s) during 1997)
35. Akihiko Takano (1 paper(s) during 1995)
36. Johan Jeuring (1 paper(s) during 1995)
37. Maarten M. Fokkinga (1 paper(s) during 1991)
38. Ross Paterson (1 paper(s) during 1991)