| A : |
Martin Abadi,
Samson Abramsky
(ftp),
Peter Aczel,
Alex Aiken,
Wolfram Amme,
Torben Amtoft,
Andrew W. Appel,
Zena M. Ariola,
Adrea Asperti,
Lennart Augustsson,
Arnon Avron
|
| B : |
Leo Bachmair,
Thomas Ball,
H. P. Barendregt,
Gerard Berry,
Yves Bertot,
Richard Bird,
Sandip K. Biswas,
Matthias Blume,
Francois Bourdoncle,
Andrei Broder,
G. L. Burn
|
| C : |
Luca Cardelli,
Witold Charatonik,
Rance Cleaveland,
Christopher Colby,
Charles Consel,
Robert L. Constable,
Thierry Coquand,
Patrick Cousot,
Radhia Cousot
|
| D : |
Olivier Danvy,
Rowan Davies,
Tony Davy,
Richard DeMillo,
Philippe Devienne,
Yevgeniy Dodis,
R. Kent Dybvig
|
| E : |
Abbas Edalat,
Martin Escardo
|
| F : |
Solomon Feferman,
Manuel Fahndrich,
Matthias Felleisen,
Amy Felty,
Amy Felty,
Andrzej Filinski,
Cormac Flanagan,
Timothy Freeman,
Daniel P. Friedman,
Thom Fruhwirht
|
| G : |
Harald Ganzinger,
Ferenc Gecseg,
Lal George,
Roberto Giacobazzi,
Pietro Di Gianantonio,
Jean-Yves Girard,
Robert Glueck,
Andrew D. Gordon,
Mike Gordon,
Valerie Gouranton,
Philippe Granger,
Orna Grumberg,
Carl A. Gunter,
Rajiv Gupta
|
| H : |
Nicolas Halbwachs,
Chris Hankin,
Mary Hall,
John Hannan,
Robert Harper,
Nevin Heintze,
Fritz Henglein,
Pascal Van Hentenryck,
Mark Hepple,
C.A.R. Hoare,
John Hooker,
Susan B. Horwitz,
Douglas J. Howe,
Paul Hudak,
Lorenz Huelsbergen,
R.J.M. Hughes
|
| J : |
Joxan Jaffar,
Suresh Jagannathan,
Mark P. Jones,
Neil D. Jones,
Simon Peyton Jones(Microsoft),
Simon Peyton Jones(Oregon),
Joohee Jeong,
Jesper Jorgensen,
Achim Jung
|
| K : |
Sam Kamin,
Andrew Kennedy,
Ken Kennedy,
Donald E. Knoth
|
| L : |
James Larus,
John Launchbury,
Peter Lee,
Mark Leone,
Xavier Leroy,
David Lester,
Yanhong Annie Liu,
Zhaohui Luo
|
| M : |
Dave MacQueen,
David McAllester,
Daniel Le
Metayer,
Erik Meijer,
Valerie menissier-Morain,
Dale Miller,
Robin Milner
(ftp and ...),
John C. Mitchell,
Joseph M. Morris,
Greg Morrisett,
Jon Mountjoy,
Robert Muller,
Alan Mycroft
|
| N : |
Gopalan Nadathur,
George Necula,
Flemming Nielson,
Hanne Riis Nielson
|
| O : |
Martin Odersky,
Jeff Offutt,
Atsushi Ohori,
Chris Okasaki
|
| P : |
Jeans Palsberg,
Larry Paulson,
Francois Pessaux,
Frank Pfenning,
Benjamin Pierce,
Andrew Pitts,
Gordon D. Plotkin,
Amir Pnueli,
Andreas Podelski,
Peter John Potts,
David Pym
|
| Q : |
Christian Queinnec
|
| R : |
Uday Reddy,
Didier Remy,
John Reppy,
Thomas W. Reps,
John C. Reynolds
(ftp),
Colin Runcinman
|
| S : |
Amr Sabry,
Patrick Samson,
David Sands
(papers),
David A.Schmidt,
Dana Scott,
Helmet Seidl,
Manuel Serrano,
Zhong Shao,
Tim Sheard,
Olin Shivers,
Dan Suciu,
Philipp Sunderhauf
|
| T : |
Jean-Marc Talbot,
Jean Pierre Talpin,
David Tarditi,
Frank Tip,
Sophie Tison,
Mads Tofte,
Andrew Tolmach,
Guy Tremblay,
David N. Turner
|
| U : |
Jeffrey D. Ullman
|
| W : |
Philip Wadler,
Uwe Waldmann,
David Wakeling,
Mitchell Wand,
Daniel Weise,
Reinhard Wilhelm,
Andrew Wright
|
| X : |
Hongwei Xi
|
| Y : |
Kwangkeun Yi
|