equal
deleted
inserted
replaced
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> |
87 <DD><A HREF="http://www.cl.cam.ac.uk/~gw104/">Glynn Winskel</A></DD> |
87 <DD><A HREF="http://www.cl.cam.ac.uk/~gw104/">Glynn Winskel</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://www.inf.ed.ac.uk/home/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://theory.stanford.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> |