英语翻译
new type definition
拓展翻译
新类型
new type
新类型参数
new type parameter
新类型构造器
new type constructor
信箱区定义
mail box definition
形式定义的安全性模型
formally-defined security
形式数学定义
formal mathematical definition
形式语言定义
formal language definition
形式语义定义
formal semantic definition
循环定义
circular definition
向量类型
vector type
协议类型
protocol type
信息类型
type of information; type of message
形式参数类型
type of formal parameter
序数类型
ordinal type
序数类型标识符
ordinal type identifier
选定类型
selection type
选择类型
selective type
选择图表类型
select a chart type
循环表类型
circular list type
压缩数据类型
encapsulated data type