ACL RD-TEC 1.0 Summarization of P98-2169
Paper Title:
PARAMETRIC TYPES FOR TYPED ATTRIBUTE- VALUE LOGIC
PARAMETRIC TYPES FOR TYPED ATTRIBUTE- VALUE LOGIC
Primarily assigned technology terms:
Other assigned terms:
- approach
- case
- co-occurrence
- compile-time
- description language
- fact
- feature
- feature path
- feature structure
- feature structures
- formalisms
- grammar
- grammars
- hierarchical structure
- hpsg
- implementation
- information states
- interpretation
- linguistic
- linguistics
- linguists
- logic
- maps
- method
- model theory
- names
- phrase
- polymorphism
- process
- relation
- representations
- run-time
- subsumption
- terms
- theorem
- theory
- type hierarchy
- typed feature
- typed feature structures
- understanding
- user
- word
