Lei Chen, Haiming Chen. Efficient Type Checking for a Subclass of Regular Expression Types. In Proceedings of the 9th International Conference for Young Computer Scientists, ICYCS 2008, Zhang Jia Jie, Hunan, China, November 18-21, 2008. pages 1647-1652, IEEE Computer Society, 2008. [doi]
Abstract is missing.