THEORY OF TYPE POLYMORPHISM IN PROGRAMMING

被引：864

作者：

MILNER, R

机构：

来源：

关键词：

D O I：

10.1016/0022-0000(78)90014-4

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：348 / 375

页数：28

共 23 条

[1]

Burge W. H., 1975, RECURSIVE PROGRAMMIN

[2]

GORDON M, 1978, 5TH P ANN ACM SIGACT

[3]

GORDON M, 1977, CSR1177 ED U COMP SC

[4] SOME IDEAS ON DATA TYPES IN HIGH-LEVEL LANGUAGES [J].

GRIES, D ;

GEHANI, N .

[5] PRINCIPAL TYPE-SCHEME OF AN OBJECT IN COMBINATORY LOGIC [J].

HINDLEY, R .

[6]

LAMPSON BW, 1977, SIGPLAN NOTICES, V12, P2

[7] NEXT 700 PROGRAMMING LANGUAGES [J].

LANDIN, PJ .

[8]

Liskov B., 1974, SIGPLAN Notices, V9, P50, DOI 10.1145/942572.807045

[9]

MILNER R, 1976, TRACTS, V82, P49

[10]

Morris Jr J.H., 1968, THESIS MIT