![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| hughes-glasgow-96.pdf | 21-Feb-2009 15:57 | 61K | |
| hughes-glasgow-96.ps.gz | 21-Feb-2009 15:57 | 27K | |
| hughes-polybta.pdf | 21-Feb-2009 15:57 | 213K | |
| hughes-polybta.ps.gz | 21-Feb-2009 15:57 | 77K | |
| hughes-type-spec-correctness.pdf | 21-Feb-2009 15:57 | 158K | |
| hughes-type-spec-correctness.ps.gz | 21-Feb-2009 15:57 | 68K | |
| hughes-type-spec-imperative.pdf | 21-Feb-2009 15:57 | 436K | |
| hughes-type-spec-imperative.ps.gz | 21-Feb-2009 15:57 | 82K | |
| hughes-type-spec-revision.pdf | 21-Feb-2009 15:57 | 261K | |
| hughes-type-spec-revision.ps.gz | 21-Feb-2009 15:57 | 83K | |
| hughes-type-spec-survey.pdf | 21-Feb-2009 15:57 | 149K | |
| hughes-type-spec-survey.ps.gz | 21-Feb-2009 15:57 | 51K | |
| hughes-type-spec-tutorial.pdf | 21-Feb-2009 15:57 | 227K | |
| hughes-type-spec-tutorial.ps.gz | 21-Feb-2009 15:57 | 83K | |
| sjors-xdoc.pdf | 21-Feb-2009 15:57 | 387K | |
| sjors-xdoc.ps.gz | 21-Feb-2009 15:57 | 174K | |