Type-checking in formally non-typed systems

• ACL Workshop on Software Engineering, Testing, and Quality Assurance for Natural Language Processing

Type checking defines and constrains system output and intermediate representations. We report on the advantages of introducing multiple levels of type checking in deep parsing systems, even with untyped formalisms.

citation

Crouch, D.; King, T. H. Type-checking in formally non-typed systems. ACL Workshop on Software Engineering, Testing, and Quality Assurance for Natural Language Processing; 2008 June 20; Columbus, Ohio.