| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2016-03-06 18:40 +0000 | 1052520 | Karp-automata.pdf | file | revisions | annotate |
| -rw-r--r-- | 2016-03-06 18:40 +0000 | 528 | LINKS | file | revisions | annotate |
| -rw-r--r-- | 2016-03-06 18:40 +0000 | 167669 | LangSec-2014-fsm-parsers.pdf | file | revisions | annotate |
| -rw-r--r-- | 2016-03-06 18:40 +0000 | 381089 | RegEx-CrashCourse.pdf | file | revisions | annotate |
| -rw-r--r-- | 2016-03-06 18:40 +0000 | 1637480 | berrysethi.pdf | file | revisions | annotate |
| -rw-r--r-- | 2016-03-06 18:40 +0000 | 165142 | frisch-cardelli.pdf | file | revisions | annotate |
| -rw-r--r-- | 2016-03-06 18:40 +0000 | 439867 | ktl16regexp-agda.pdf | file | revisions | annotate |
| -rw-r--r-- | 2016-03-06 18:40 +0000 | 329739 | lexing-via-extended-regex.pdf | file | revisions | annotate |
| -rw-r--r-- | 2016-03-06 18:40 +0000 | 190075 | nipkow-lexing.ps | file | revisions | annotate |
| -rw-r--r-- | 2016-03-06 18:40 +0000 | 298978 | pattern-match.pdf | file | revisions | annotate |
| -rw-r--r-- | 2016-03-06 18:40 +0000 | 248745 | stal-extended.pdf | file | revisions | annotate |
| -rw-r--r-- | 2016-03-06 18:40 +0000 | 274365 | sulzmann14-new.pdf | file | revisions | annotate |
| -rw-r--r-- | 2016-03-06 18:40 +0000 | 266136 | sulzmann14.pdf | file | revisions | annotate |
| -rw-r--r-- | 2016-03-06 18:40 +0000 | 368904 | type-pattern-match.pdf | file | revisions | annotate |