Type Systems for Programming Languages-猫眼课题宝

编程语言的类型系统

DOI：

10.1016/b978-0-444-88074-1.50013-5

发表时间：

1991

期刊：

Theor. Comput. Sci.

影响因子：

--

通讯作者：

中科院分区：

--

文献类型：

--

作者：

Didier Rémy