Second-order Type Systems的意思|示意

美 / / 英 / /

二阶类型系统

Second-order Type Systems的网络常见释义

二阶类型系统 4.7.4 二阶类型系统(Second-order Type Systems) 许多现代语言具有类型参数和类型抽象结构。类型参数可以在若干语言的模块系统中找到，其中类属模块、类或界面均可以由二阶类型...

Second-order Type Systems相关例句

The paper presents a new type of loop, which USES first-order or second-order steady-state zero-error systems for locking, frequency multiplication and tracking.

本文介绍了一种用一阶或二阶无静差系统来锁定、倍频和跟踪的新型环路。