理学 编译系统 释 type system 类型系统 类型系统（Type System）是对编程语言中的各种成分（如数值、变量、表达式等）赋以类型属性的规则的集合。
理论计算机科学 程序理论 释文 type system 类型系统
- stele at Sacred King Palace of Xiagebei Village, Qinshui County
- stele at Sovereign Earth Mother Temple of Jiexiu City
- stele at the theatre in Lord Tang Temple of Dayang Town, Zezhou County
- stele at the theatre in the Temple to the God of Mount Tai of Yedi Village, Zezhou County
- stele engraved with map of Pingjiang prefecture
- stele engraved with map of Pingjiang prefecture（Song dynasty）
- Stele for Danba the Emperor's Teacher by Zhao Mengfu
- Stele for Guan Qiujian's Militar Merits
- Stele for King Gwanggaeto the Great
- Stele for Ouigour Bayanchur Khan
- Stele for the History of Gaochang and Uighur People
- Stele for Xingyuan ge pavilion
- Stele for Zhang Yingrui
- Stele in "Pi Yong"Hall of Jin Dynasty
- stele inscribed with operatic regulations of Xuandu Temple of Xi County
- Stele Inscription of Xuanmi Pagoda
- Stele Inscriptions of Han Dynasty
- stele in the Jiucheng Palace
- Stele literature
- Stele of Bi'an Temple
- Stele of Cao Qua
- Stele of Cao Quan
- Stele of Censorate Vihara
- stele of Changning Temple in Dinghe Village, Ningwu County
- Stele of Confucius Temple