homeresources & publications › type-checking in formally non-typed systems


Type-checking in formally non-typed systems


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.


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.