![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| asdf3-2014.html | 2017-05-13 09:56 | 306K | |
| asdf3-2014.pdf | 2017-05-13 09:56 | 327K | |
| asdf3-els2014.html | 2017-05-13 09:56 | 105K | |
| asdf3-els2014.pdf | 2017-05-13 09:56 | 163K | |
| autobib.css | 2017-05-13 09:56 | 121 | |
| footnote.css | 2017-05-13 09:56 | 340 | |
| ilc2014-slides.pdf | 2015-01-27 12:47 | 96K | |
| racket.css | 2017-05-13 09:56 | 3.1K | |
| scribble-common.js | 2017-05-13 09:56 | 5.3K | |
| scribble-style.css | 2017-05-13 09:56 | 0 | |
| scribble.css | 2017-05-13 09:56 | 7.8K | |
| scripting-slides.pdf | 2015-01-27 12:47 | 113K | |
| sigplan.css | 2017-05-13 09:56 | 281 | |
| traverse-slides.pdf | 2015-01-27 12:47 | 56K | |