Co-authors

1. Giuseppe Longo (6 paper(s) during 1984-1992)
2. Andrea Pohoreckyj Danyluk (5 paper(s) during 2001-2010)
3. Thomas P. Murtagh (5 paper(s) during 1993-2010)
4. Allen B. Tucker (4 paper(s) during 2000-2004)
5. Benjamin C. Pierce (4 paper(s) during 1995-1999)
6. Charles Kelemen (3 paper(s) during 2000-2003)
7. Robert van Gent (3 paper(s) during 1993-2003)
8. Luca Cardelli (3 paper(s) during 1995-1999)
9. Stuart Reges (2 paper(s) during 2005-2009)
10. Eric S. Roberts (2 paper(s) during 2005-2006)
11. Fran Trees (2 paper(s) during 2005-2006)
12. Frank Yellin (2 paper(s) during 2005-2006)
13. Ian Utting (2 paper(s) during 2005-2006)
14. James H. Cross II (2 paper(s) during 2005-2006)
15. Karl Klee (2 paper(s) during 2005-2006)
16. Robb Cutler (2 paper(s) during 2005-2006)
17. Susan H. Rodger (2 paper(s) during 2005-2006)
18. Michael Kölling (2 paper(s) during 2005)
19. Owen L. Astrachan (2 paper(s) during 2000-2005)
20. Henry MacKay Walker (2 paper(s) during 1994-2004)
21. Adrian Fiech (2 paper(s) during 1997-2003)
22. Angela Schuett (2 paper(s) during 1995-2003)
23. Isabel Michiels (2 paper(s) during 2002-2003)
24. Jürgen Börstler (2 paper(s) during 2002-2003)
25. Jonathan Crabtree (2 paper(s) during 1993)
26. John C. Mitchell (2 paper(s) during 1990-1992)
27. Albert R. Meyer (2 paper(s) during 1984-1990)
28. David G. Kay (1 paper(s) during 2010)
29. Eric Roberts (1 paper(s) during 2010)
30. Mark Guzdial (1 paper(s) during 2010)
31. Michael J. Clancy (1 paper(s) during 2010)
32. Nell B. Dale (1 paper(s) during 2010)
33. Kathleen Fisher (1 paper(s) during 2009)
34. Mark W. Bailey (1 paper(s) during 2009)
35. Robert Harper (1 paper(s) during 2009)
36. Scott Grissom (1 paper(s) during 2006)
37. Elliot B. Koffman (1 paper(s) during 2005)
38. Joe Bergin (1 paper(s) during 2005)
39. Scott B. Grissom (1 paper(s) during 2005)
40. Alyce Brady (1 paper(s) during 2004)
41. J. Nathan Foster (1 paper(s) during 2004)
42. Robert E. Noonan (1 paper(s) during 2004)
43. Alejandro Fernández (1 paper(s) during 2003)
44. Robert L. Scot Drysdale (1 paper(s) during 2003)
45. Didier Rémy (1 paper(s) during 2002)
46. Peter Henderson (1 paper(s) during 2000)
47. Joseph Vanderwaart (1 paper(s) during 1999)
48. Daniel Leivant (1 paper(s) during 1998)
49. Martin Odersky (1 paper(s) during 1998)
50. Moshe Y. Vardi (1 paper(s) during 1998)
51. Philip Wadler (1 paper(s) during 1998)
52. Phokion G. Kolaitis (1 paper(s) during 1998)
53. Leaf Petersen (1 paper(s) during 1997)
54. Gary T. Leavens (1 paper(s) during 1995)
55. Giuseppe Castagna (1 paper(s) during 1995)
56. Jonathan Eifrig (1 paper(s) during 1995)
57. Scott F. Smith (1 paper(s) during 1995)
58. Valery Trifonov (1 paper(s) during 1995)
59. James Bradley (1 paper(s) during 1994)
60. Tom Whaley (1 paper(s) during 1994)
61. Allyn Dimock (1 paper(s) during 1993)
62. Gerlad Kanapathy (1 paper(s) during 1993)
63. Robert Muller (1 paper(s) during 1993)
64. Roberto Di Cosmo (1 paper(s) during 1992)
65. Jon G. Riecke (1 paper(s) during 1987)
66. Peter Wegner (1 paper(s) during 1987)
67. Roberto M. Amadio (1 paper(s) during 1986)
68. H. Jerome Keisler (1 paper(s) during 1979)