72 <DD><A HREF="http://www.cs.princeton.edu/~appel/">Andrew Appel</A></DD> |
72 <DD><A HREF="http://www.cs.princeton.edu/~appel/">Andrew Appel</A></DD> |
73 <DD><A HREF="http://www.cl.cam.ac.uk/~amp12">Andrew Pitts</A></DD> |
73 <DD><A HREF="http://www.cl.cam.ac.uk/~amp12">Andrew Pitts</A></DD> |
74 <DD><A HREF="http://www.site.uottawa.ca/~afelty/">Amy Felty</A></DD> |
74 <DD><A HREF="http://www.site.uottawa.ca/~afelty/">Amy Felty</A></DD> |
75 <DD><A HREF="http://www.cis.upenn.edu/~bcpierce/">Benjamin Pierce</A></DD> |
75 <DD><A HREF="http://www.cis.upenn.edu/~bcpierce/">Benjamin Pierce</A></DD> |
76 <DD><A HREF="http://www.lix.polytechnique.fr/~catuscia/">Catuscia Palamidessi</A></DD> |
76 <DD><A HREF="http://www.lix.polytechnique.fr/~catuscia/">Catuscia Palamidessi</A></DD> |
77 <DD><A HREF="http://www.math.unipd.it/~claudia/">Claudia Faggian</A></DD> |
77 <DD><A HREF="http://www.pps.univ-paris-diderot.fr/~faggian/">Claudia Faggian</A></DD> |
78 <DD><A HREF="http://www.lix.polytechnique.fr/Labo/Dale.Miller/">Dale Miller</A></DD> |
78 <DD><A HREF="http://www.lix.polytechnique.fr/Labo/Dale.Miller/">Dale Miller</A></DD> |
79 <DD><A HREF="http://www.cs.indiana.edu/~dfried/">Daniel Friedman</A></DD> |
79 <DD><A HREF="http://www.cs.indiana.edu/~dfried/">Daniel Friedman</A></DD> |
80 <DD><A HREF="http://www.abdn.ac.uk/~csc335/">David Pym</A></DD> |
80 <DD><A HREF="http://www.abdn.ac.uk/~csc335/">David Pym</A></DD> |
81 <DD><A HREF="http://www.inf.qmw.ac.uk/~edmundr">Edmund Robinson</A></DD> |
81 <DD><A HREF="http://www.eecs.qmul.ac.uk/~edmundr/">Edmund Robinson</A></DD> |
82 <DD><A HREF="http://www.cs.cmu.edu/~fp">Frank Pfenning</A></DD> |
82 <DD><A HREF="http://www.cs.cmu.edu/~fp">Frank Pfenning</A></DD> |
83 <DD><A HREF="http://research.microsoft.com/~gmb/">Gavin Bierman</A></DD> |
83 <DD><A HREF="http://research.microsoft.com/~gmb/">Gavin Bierman</A></DD> |
84 <DD><A HREF="http://www.cs.berkeley.edu/~necula/">George Necula</A></DD> |
84 <DD><A HREF="http://www.cs.berkeley.edu/~necula/">George Necula</A></DD> |
85 <DD><A HREF="http://profs.sci.univr.it/~bellin/">Gianluigi Bellin</A></DD> |
85 <DD><A HREF="http://profs.sci.univr.it/~bellin/">Gianluigi Bellin</A></DD> |
86 <DD><A HREF="http://www-roc.inria.fr/who/Gilles.Dowek/">Gilles Dowek</A></DD> |
86 <DD><A HREF="http://www-roc.inria.fr/who/Gilles.Dowek/">Gilles Dowek</A></DD> |
88 <DD><A HREF="http://www-users.cs.umn.edu/~gopalan/">Gopalan Nadathur</A></DD> |
88 <DD><A HREF="http://www-users.cs.umn.edu/~gopalan/">Gopalan Nadathur</A></DD> |
89 <DD><A HREF="http://homepages.inf.ed.ac.uk/gdp/">Gordon Plotkin</A></DD> |
89 <DD><A HREF="http://homepages.inf.ed.ac.uk/gdp/">Gordon Plotkin</A></DD> |
90 <DD><A HREF="http://www.mathematik.uni-muenchen.de/~schwicht/">Helmut Schwichtenberg</A></DD> |
90 <DD><A HREF="http://www.mathematik.uni-muenchen.de/~schwicht/">Helmut Schwichtenberg</A></DD> |
91 <DD><A HREF="http://www.cs.kun.nl/~henk">Henk Barendregt</A></DD> |
91 <DD><A HREF="http://www.cs.kun.nl/~henk">Henk Barendregt</A></DD> |
92 <DD><A HREF="http://pauillac.inria.fr/~herbelin/index-eng.html">Hugo Herbelin</A></DD> |
92 <DD><A HREF="http://pauillac.inria.fr/~herbelin/index-eng.html">Hugo Herbelin</A></DD> |
93 <DD><A HREF="http://theory.stanford.edu/~iliano">Iliano Cervesato</A> |
93 <DD><A HREF="http://www.qatar.cmu.edu/iliano/">Iliano Cervesato</A> |
94 <DD><A HREF="http://homepages.inf.ed.ac.uk/jcheney/">James Cheney</A> |
94 <DD><A HREF="http://homepages.inf.ed.ac.uk/jcheney/">James Cheney</A> |
95 <DD><A HREF="http://www.cis.upenn.edu/~jean">Jean Gallier</A>, |
95 <DD><A HREF="http://www.cis.upenn.edu/~jean">Jean Gallier</A>, |
96 <A HREF="ftp://ftp.cis.upenn.edu/pub/papers/gallier/">papers</A></DD> |
96 <A HREF="ftp://ftp.cis.upenn.edu/pub/papers/gallier/">papers</A></DD> |
97 <DD><A HREF="http://iml.univ-mrs.fr:80/~girard/">Jean-Yves Girard</A></DD> |
97 <DD><A HREF="http://iml.univ-mrs.fr:80/~girard/">Jean-Yves Girard</A></DD> |
98 <DD><A HREF="http://user.it.uu.se/~joachim/">Joachim Parrow</A></DD> |
98 <DD><A HREF="http://user.it.uu.se/~joachim/">Joachim Parrow</A></DD> |
99 <DD><A HREF="http://www.cl.cam.ac.uk/users/jrh/">John Harrison</A></DD> |
99 <DD><A HREF="http://www.cl.cam.ac.uk/users/jrh/">John Harrison</A></DD> |
100 <DD><A HREF="http://theory.stanford.edu/people/jcm/home.html">John Mitchell</A></DD> |
100 <DD><A HREF="http://theory.stanford.edu/people/jcm/home.html">John Mitchell</A></DD> |
101 <DD><A HREF="http://www.cs.cmu.edu/~crary/">Karl Crary</A></DD> |
101 <DD><A HREF="http://www.cs.cmu.edu/~crary/">Karl Crary</A></DD> |
102 <DD><A HREF="http://www.cl.cam.ac.uk/users/lcp/">Larry Paulson</A></DD> |
102 <DD><A HREF="http://www.cl.cam.ac.uk/users/lcp/">Larry Paulson</A></DD> |
103 <DD><A HREF="http://www.itu.dk/~birkedal/">Lars Birkedal</A></DD> |
103 <DD><A HREF="http://cs.au.dk/~birke/">Lars Birkedal</A></DD> |
104 </DL> |
104 </DL> |
105 </TD> |
105 </TD> |
106 |
106 |
107 <TD> |
107 <TD> |
108 <DL> |
108 <DL> |