Practical Type Checking of Functions Defined on Context-Free Languages

Haiming Chen, Yunmei Dong. Practical Type Checking of Functions Defined on Context-Free Languages. J. Comput. Sci. Technol., 19(6):840-847, 2004. [doi]

Abstract

Abstract is missing.