equal
deleted
inserted
replaced
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.eecs.qmul.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="https://labs.oracle.com/pls/apex/f?p=labs:bio:0:2044">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> |
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> |
159 </TD> |
159 </TD> |
160 </TR> |
160 </TR> |
161 |
161 |
162 </TABLE> |
162 </TABLE> |
163 <P> |
163 <P> |
164 <!-- hhmts start --> Last modified: Fri Sep 27 13:02:45 BST 2013 <!-- hhmts end --> |
164 <!-- hhmts start --> Last modified: Fri Mar 11 12:13:02 GMT 2016 <!-- hhmts end --> |
165 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
165 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
166 </BODY> |
166 </BODY> |
167 </HTML> |
167 </HTML> |
168 |
168 |
169 |
169 |