![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| feat-generator.pdf | 2019-06-08 12:17 | 293K | |
| finger-trees.pdf | 2020-09-13 20:11 | 584K | |
| icsews11astfull-24-p..> | 2011-05-02 16:03 | 266K | |
| quick.ps | 2001-07-18 17:33 | 262K | |
| quickmonad.ps | 2003-10-15 13:01 | 190K | |
| quickspec.pdf | 2013-11-14 20:39 | 272K | |
| sat-solving.pdf | 2012-06-13 07:44 | 141K | |
| testing-poly.pdf | 2021-08-26 16:09 | 199K | |