Нетипизированные формализмы

Type checking defines and constrains system output and intermediate representations. We report on the advantages of introducing multi- ple levels of type checking in deep parsing sys- tems, even with …...