equal
deleted
inserted
replaced
10 |
10 |
11 @Misc{Kuklewicz, |
11 @Misc{Kuklewicz, |
12 author = {C.~Kuklewicz}, |
12 author = {C.~Kuklewicz}, |
13 title = {{R}egex {P}osix}, |
13 title = {{R}egex {P}osix}, |
14 howpublished = "\url{https://wiki.haskell.org/Regex_Posix}" |
14 howpublished = "\url{https://wiki.haskell.org/Regex_Posix}" |
|
15 } |
|
16 |
|
17 @article{Vansummeren2006, |
|
18 author = {S.~Vansummeren}, |
|
19 title = {{T}ype {I}nference for {U}nique {P}attern {M}atching}, |
|
20 year = {2006}, |
|
21 journal = {ACM Transactions on Programming Languages and Systems}, |
|
22 volume = {28}, |
|
23 number = {3}, |
|
24 pages = {389--428} |
15 } |
25 } |
16 |
26 |
17 @InProceedings{Asperti12, |
27 @InProceedings{Asperti12, |
18 author = {A.~Asperti}, |
28 author = {A.~Asperti}, |
19 title = {{A} {C}ompact {P}roof of {D}ecidability for {R}egular {E}xpression {E}quivalence}, |
29 title = {{A} {C}ompact {P}roof of {D}ecidability for {R}egular {E}xpression {E}quivalence}, |