理学 编译系统 释 type system 类型系统 类型系统（Type System）是对编程语言中的各种成分（如数值、变量、表达式等）赋以类型属性的规则的集合。
理论计算机科学 程序理论 释文 type system 类型系统
- information replication technology
- information reporting system
- information representation
- Information Research
- information research
- information resource allocation
- information resource development
- information resource industry
- information resource integration
- information resource management
- information resource management model
- information resource navigation
- information resource planning
- information resources
- information resources construction
- Information Resources Country Report of Russian(1999)
- information resources guarantee system
- information resource sharing
- Information Resources Management:Policies and Regulations
- information retrieval
- information retrieval algorithm
- information retrieval diversification
- information retrieval evaluation
- information retrieval feedback
- Information Retrieval Journal