![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| public-key.txt | 2000-02-15 13:42 | 1.3K | |
| fax:+44-131-451-3327 | 2001-01-02 14:09 | 162 | |
| fax:+44-131-451-3732 | 2001-01-02 14:09 | 162 | |
| fax:+44-131-449-3834 | 2001-01-02 14:13 | 162 | |
| html-4.0-style.css | 2001-08-06 03:16 | 4.2K | |
| style-notes.css | 2001-08-12 20:22 | 1.5K | |
| tel:+44-131-449-4611 | 2002-04-14 10:55 | 162 | |
| tel:+44-131-451-3328 | 2002-04-14 10:55 | 162 | |
| tel:+44-131-451-3869 | 2002-04-14 10:55 | 162 | |
| tel:+44-7905-757-796 | 2002-04-14 10:55 | 162 | |
| tel:+44-7986-182-338 | 2002-04-14 10:55 | 162 | |
| emaxml/ | 2002-06-20 11:40 | - | |
| e-mail.jpg | 2002-09-07 17:06 | 1.1K | |
| images/ | 2003-05-30 08:21 | - | |
| private/ | 2003-05-30 08:26 | - | |
| teaching/ | 2003-10-28 16:26 | - | |
| fax:+44-131-449-4611 | 2004-01-06 02:52 | 162 | |
| epsrc-grr-41545-01-igr-final-assessment.jpg | 2004-05-20 19:44 | 141K | |
| include.txt | 2004-07-21 17:16 | 104 | |
| shared_data.rdf | 2004-08-18 16:55 | 1.1K | |
| test.php | 2004-08-18 16:59 | 574 | |
| research-summary.css | 2005-01-20 16:53 | 950 | |
| generate-e-mail-image | 2005-01-21 23:33 | 351 | |
| home-directions.html | 2005-01-28 17:43 | 2.6K | |
| jbprimefactor.htm | 2005-11-06 23:54 | 7.2K | |
| monads-evolved-logic.html | 2006-03-04 21:16 | 5.1K | |
| typesetting-concave-diamond.html | 2006-06-22 11:13 | 2.0K | |
| slides/ | 2006-09-20 02:12 | - | |
| position-ad.html | 2007-01-16 21:49 | 9.8K | |
| savannah-bug-tracker-fixed-width-too-narrow.png | 2007-05-06 18:03 | 174K | |
| phd-student-ad.html | 2007-05-25 13:21 | 12K | |
| emperorlinux-experience-summary.html | 2007-05-30 14:34 | 5.2K | |
| backlinks.html | 2007-08-11 22:56 | 35K | |
| style.css | 2007-09-07 04:30 | 4.6K | |
| target-syntax.txt | 2007-11-06 17:40 | 2.2K | |
| tony-hoare.txt | 2007-11-06 17:41 | 8.5K | |
| hwu-wildlife.html | 2008-07-15 00:00 | 1.8K | |
| jobs.html | 2008-07-15 00:00 | 448 | |
| foo.html | 2008-08-11 02:19 | 547 | |
| sml.html | 2012-02-13 12:04 | 50K | |
| smlnj-script.html | 2012-02-15 22:40 | 20K | |
| test.html | 2012-06-17 21:09 | 96 | |
| smlnj-script.html-new | 2013-02-13 23:40 | 23K | |
| research/ | 2015-03-11 14:51 | - | |
| itrs/ | 2016-01-17 21:27 | - | |
| generic-attendance-spreadsheet/ | 2017-09-10 10:26 | - | |
| research-summary.html | 2017-09-25 14:53 | 18K | |
| paper.pdf | 2020-12-24 16:19 | 5.0M | |
| assignment.pdf | 2021-02-05 09:37 | 136K | |
| incurvati:conceptions-set-foundations-mathematics:2020.pdf | 2021-07-13 11:36 | 1.6M | |
| papers/ | 2021-07-28 18:53 | - | |
| link | 2021-09-06 16:48 | 260 | |
| pythonLectures.pdf | 2021-09-13 15:18 | 318K | |
| Gödel-number-of-Turing-machine.txt | 2022-04-18 19:24 | 48K | |
| bsc-dissertations/ | 2022-07-15 11:18 | - | |
| conference-schedule.html | 2022-09-19 10:29 | 19K | |
| cicm-2023-program.html | 2023-09-02 18:27 | 13K | |
| index.shtml | 2025-09-08 08:04 | 70K | |