理学 编译系统 释 type system 类型系统 类型系统（Type System）是对编程语言中的各种成分（如数值、变量、表达式等）赋以类型属性的规则的集合。
理论计算机科学 程序理论 释文 type system 类型系统
- Abel prize
- Abel problem
- Abel-regularized sum
- Abel-Ruffini theorem
- Abel's integral equation
- Abelson gene
- Abelson gene (ABL)
- Abel sum
- Abel summability
- Abel summable series
- Abel summation
- Abel summation method
- Abel Tasman National Park
- Abel Tendekayi Muzorewa
- Abel test
- Abel theorem
- Abel transform
- Abel transformation
- Abel type
- Abel-Volterra integral equation
- Abel’s close test
- abend dump
- abend exit
- Abeokuta
- Abeokuta Treaty