equal
deleted
inserted
replaced
296 |
296 |
297 <TR> |
297 <TR> |
298 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
298 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
299 <H3>2006-2007</H3> |
299 <H3>2006-2007</H3> |
300 <p><B>Wintersemester</B> |
300 <p><B>Wintersemester</B> |
301 <ul><li><A HREF="http://www4.in.tum.de/lehre/vorlesungen/types/WS0607/index.shtml">Types course</A> |
301 <ul><li>Types course at the TU Munich (21h, slides of |
302 at the TU Munich (21h, slides of |
|
303 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/types-01.pdf">Lec 1</A>] |
302 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/types-01.pdf">Lec 1</A>] |
304 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/types-02.pdf">Lec 2</A>] |
303 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/types-02.pdf">Lec 2</A>] |
305 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/types-03.pdf">Lec 3</A>] |
304 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/types-03.pdf">Lec 3</A>] |
306 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/types-04.pdf">Lec 4</A>] |
305 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/types-04.pdf">Lec 4</A>] |
307 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/types-05.pdf">Lec 5</A>, |
306 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/types-05.pdf">Lec 5</A>, |
471 </TD> |
470 </TD> |
472 </TR> |
471 </TR> |
473 |
472 |
474 </TABLE> |
473 </TABLE> |
475 <P> |
474 <P> |
476 <!-- hhmts start --> Last modified: Sun Apr 10 20:49:47 BST 2016 <!-- hhmts end --> |
475 <!-- hhmts start --> Last modified: Thu May 5 10:22:33 BST 2016 <!-- hhmts end --> |
477 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
476 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
478 </BODY> |
477 </BODY> |
479 </HTML> |
478 </HTML> |