| Parent Directory/ | | - | Directory |
| Defender Methods v3.pdf | 2010-Aug-16 12:00:37 | 46.2K | application/pdf |
| Defender Methods v4.pdf | 2011-Dec-02 15:39:11 | 45.7K | application/pdf |
| collections-overview.html | 2012-Nov-15 10:45:35 | 37.3K | text/html |
| featherweight-defenders-2011-01-19.pdf | 2011-Jan-31 15:49:41 | 186.6K | application/pdf |
| featherweight-defenders-2011-01-31.pdf | 2011-Jan-31 15:50:06 | 208.1K | application/pdf |
| featherweight-defenders-2011-12-02.pdf | 2012-Mar-27 14:15:16 | 230.4K | application/pdf |
| featherweight-defenders.pdf | 2012-Mar-27 14:16:11 | 231.7K | application/pdf |
| lambda-state-2.html | 2011-Jan-13 21:12:49 | 15.1K | text/html |
| lambda-state-3.html | 2011-Dec-09 10:31:58 | 20.1K | text/html |
| lambda-state-4.html | 2011-Dec-09 10:26:45 | 41.5K | text/html |
| lambda-translation.html | 2012-Apr-22 10:07:41 | 38.8K | text/html |
| sotc3.html | 2012-Nov-15 10:30:03 | 35.1K | text/html |