Xiaohong Chen 0002, Dorel Lucanu, Grigore Rosu. Capturing constrained constructor patterns in matching logic. J. Log. Algebr. Meth. Program., 130:100810, 2023. [doi]
@article{ChenLR23,
title = {Capturing constrained constructor patterns in matching logic},
author = {Xiaohong Chen 0002 and Dorel Lucanu and Grigore Rosu},
year = {2023},
doi = {10.1016/j.jlamp.2022.100810},
url = {https://doi.org/10.1016/j.jlamp.2022.100810},
researchr = {https://researchr.org/publication/ChenLR23},
cites = {0},
citedby = {0},
journal = {J. Log. Algebr. Meth. Program.},
volume = {130},
pages = {100810},
}