Haiming Chen, Yunmei Dong. Practical Type Checking of Functions Defined on Context-Free Languages. J. Comput. Sci. Technol., 19(6):840-847, 2004. [doi]
@article{ChenD04:4,
title = {Practical Type Checking of Functions Defined on Context-Free Languages},
author = {Haiming Chen and Yunmei Dong},
year = {2004},
url = {http://jcst.ict.ac.cn/conc/conc46.html#paper15},
tags = {type checking, context-aware},
researchr = {https://researchr.org/publication/ChenD04%3A4},
cites = {0},
citedby = {0},
journal = {J. Comput. Sci. Technol.},
volume = {19},
number = {6},
pages = {840-847},
}