| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2016-07-20 14:58 +0100 | 1052520 | Karp-automata.pdf | file | revisions | annotate |
| -rw-r--r-- | 2016-07-20 14:58 +0100 | 564323 | Klenex-paper.pdf | file | revisions | annotate |
| -rw-r--r-- | 2016-07-20 14:58 +0100 | 528 | LINKS | file | revisions | annotate |
| -rw-r--r-- | 2016-07-20 14:58 +0100 | 167669 | LangSec-2014-fsm-parsers.pdf | file | revisions | annotate |
| -rw-r--r-- | 2016-07-20 14:58 +0100 | 182709 | PhdUpgradeReport.pdf | file | revisions | annotate |
| -rw-r--r-- | 2016-07-20 14:58 +0100 | 381089 | RegEx-CrashCourse.pdf | file | revisions | annotate |
| -rw-r--r-- | 2016-07-20 14:58 +0100 | 1637480 | berrysethi.pdf | file | revisions | annotate |
| -rw-r--r-- | 2016-07-20 14:58 +0100 | 748881 | better-parse-derivs.pdf | file | revisions | annotate |
| -rw-r--r-- | 2016-07-20 14:58 +0100 | 165142 | frisch-cardelli.pdf | file | revisions | annotate |
| -rw-r--r-- | 2016-07-20 14:58 +0100 | 2233085 | grathwohl2015thesis.pdf | file | revisions | annotate |
| -rw-r--r-- | 2016-07-20 14:58 +0100 | 456912 | henglein2011b-bitstrings.pdf | file | revisions | annotate |
| -rw-r--r-- | 2016-07-20 14:58 +0100 | 160414 | kraus-nipkow-rexp.pdf | file | revisions | annotate |
| -rw-r--r-- | 2016-07-20 14:58 +0100 | 439867 | ktl16regexp-agda.pdf | file | revisions | annotate |
| -rw-r--r-- | 2016-07-20 14:58 +0100 | 329739 | lexing-via-extended-regex.pdf | file | revisions | annotate |
| -rw-r--r-- | 2016-07-20 14:58 +0100 | 190075 | nipkow-lexing.ps | file | revisions | annotate |
| -rw-r--r-- | 2016-07-20 14:58 +0100 | 298978 | pattern-match.pdf | file | revisions | annotate |
| -rw-r--r-- | 2016-07-20 14:58 +0100 | 567452 | pfenning-dfa16.pdf | file | revisions | annotate |
| -rw-r--r-- | 2016-07-20 14:58 +0100 | 219107 | rex-benchmark-TR.pdf | file | revisions | annotate |
| -rw-r--r-- | 2016-07-20 14:58 +0100 | 343076 | size-derivatives.pdf | file | revisions | annotate |
| -rw-r--r-- | 2016-07-20 14:58 +0100 | 54961109 | spineless-tagless-gmachine.pdf | file | revisions | annotate |
| -rw-r--r-- | 2016-07-20 14:58 +0100 | 248745 | stal-extended.pdf | file | revisions | annotate |
| -rw-r--r-- | 2016-07-20 14:58 +0100 | 79718 | string-derivative.pdf | file | revisions | annotate |
| -rw-r--r-- | 2016-07-20 14:58 +0100 | 329739 | sulzmann-lexing-automata-part-der.pdf | file | revisions | annotate |
| -rw-r--r-- | 2016-07-20 14:58 +0100 | 274365 | sulzmann14-new.pdf | file | revisions | annotate |
| -rw-r--r-- | 2016-07-20 14:58 +0100 | 266136 | sulzmann14.pdf | file | revisions | annotate |
| -rw-r--r-- | 2016-07-20 14:58 +0100 | 398324 | tal-toplas.pdf | file | revisions | annotate |
| -rw-r--r-- | 2016-07-20 14:58 +0100 | 368904 | type-pattern-match.pdf | file | revisions | annotate |