equal
deleted
inserted
replaced
|
1 |
|
2 |
|
3 |
|
4 @TechReport{CrashCourse2014, |
|
5 author = {N.~B.~B.~Grathwohl and F.~Henglein and U.~T.~Rasmussen}, |
|
6 title = {{A} {C}rash-{C}ourse in {R}egular {E}xpression {P}arsing and {R}egular |
|
7 {E}xpressions as {T}ypes}, |
|
8 institution = {University of Copenhagen}, |
|
9 year = {2014}, |
|
10 annote = {draft report} |
|
11 } |
1 |
12 |
2 @inproceedings{Sulzmann2014, |
13 @inproceedings{Sulzmann2014, |
3 author = {M.~Sulzmann and K.~Lu}, |
14 author = {M.~Sulzmann and K.~Lu}, |
4 title = {{POSIX} {R}egular {E}xpression {P}arsing with {D}erivatives}, |
15 title = {{POSIX} {R}egular {E}xpression {P}arsing with {D}erivatives}, |
5 booktitle = {Proc.~of the 12th International Conference on Functional and Logic Programming (FLOPS)}, |
16 booktitle = {Proc.~of the 12th International Conference on Functional and Logic Programming (FLOPS)}, |