%0 Journal Article %1 journals/corr/abs-2305-04480 %A Kammar, Ohad %A Marek, Katarzyna %D 2023 %J CoRR %K dblp %T Idris TyRE: a dependently typed regex parser. %U http://dblp.uni-trier.de/db/journals/corr/corr2305.html#abs-2305-04480 %V abs/2305.04480

@article{journals/corr/abs-2305-04480, added-at = {2023-05-12T00:00:00.000+0200}, author = {Kammar, Ohad and Marek, Katarzyna}, biburl = {https://www.bibsonomy.org/bibtex/27aa48dbafe106ffd4de85fcf08385cd9/dblp}, ee = {https://doi.org/10.48550/arXiv.2305.04480}, interhash = {06d7be0f7658306c34c9bc8d503007f5}, intrahash = {7aa48dbafe106ffd4de85fcf08385cd9}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T23:31:50.000+0200}, title = {Idris TyRE: a dependently typed regex parser.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2305.html#abs-2305-04480}, volume = {abs/2305.04480}, year = 2023 }