| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2016-04-28 11:13 +0100 | 1052520 | Karp-automata.pdf | file | revisions | annotate |
| -rw-r--r-- | 2016-04-28 11:13 +0100 | 564323 | Klenex-paper.pdf | file | revisions | annotate |
| -rw-r--r-- | 2016-04-28 11:13 +0100 | 528 | LINKS | file | revisions | annotate |
| -rw-r--r-- | 2016-04-28 11:13 +0100 | 167669 | LangSec-2014-fsm-parsers.pdf | file | revisions | annotate |
| -rw-r--r-- | 2016-04-28 11:13 +0100 | 381089 | RegEx-CrashCourse.pdf | file | revisions | annotate |
| -rw-r--r-- | 2016-04-28 11:13 +0100 | 1637480 | berrysethi.pdf | file | revisions | annotate |
| -rw-r--r-- | 2016-04-28 11:13 +0100 | 165142 | frisch-cardelli.pdf | file | revisions | annotate |
| -rw-r--r-- | 2016-04-28 11:13 +0100 | 2233085 | grathwohl2015thesis.pdf | file | revisions | annotate |
| -rw-r--r-- | 2016-04-28 11:13 +0100 | 456912 | henglein2011b-bitstrings.pdf | file | revisions | annotate |
| -rw-r--r-- | 2016-04-28 11:13 +0100 | 439867 | ktl16regexp-agda.pdf | file | revisions | annotate |
| -rw-r--r-- | 2016-04-28 11:13 +0100 | 329739 | lexing-via-extended-regex.pdf | file | revisions | annotate |
| -rw-r--r-- | 2016-04-28 11:13 +0100 | 190075 | nipkow-lexing.ps | file | revisions | annotate |
| -rw-r--r-- | 2016-04-28 11:13 +0100 | 298978 | pattern-match.pdf | file | revisions | annotate |
| -rw-r--r-- | 2016-04-28 11:13 +0100 | 248745 | stal-extended.pdf | file | revisions | annotate |
| -rw-r--r-- | 2016-04-28 11:13 +0100 | 274365 | sulzmann14-new.pdf | file | revisions | annotate |
| -rw-r--r-- | 2016-04-28 11:13 +0100 | 266136 | sulzmann14.pdf | file | revisions | annotate |
| -rw-r--r-- | 2016-04-28 11:13 +0100 | 368904 | type-pattern-match.pdf | file | revisions | annotate |