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 条

[11]

Plotkin G. D., 1976, SIAM Journal on Computing, V5, P452, DOI 10.1137/0205035

[12]

REYNOLDS JC, 1974, THEORY TYPE STRUCTUR

[13]

REYNOLDS JC, 1978, 5 ACM S PRINC PROGR, P39

[14] A MACHINE-ORIENTED LOGIC BASED ON RESOLUTION PRINCIPLE [J].

ROBINSON, JA .

[15]

Scott D., 1976, SIAM Journal on Computing, V5, P522, DOI 10.1137/0205037

[16]

SCOTT D, 1972, 4TH P INT C LOG METH

[17]

SCOTT DS, 1971, P S COMPUTERS AUTOMA, V21

[18]

SHAMIR A, 1977, 4TH P ICALP C TURK

[19]

Strachey C., 1967, FUNDAMENTAL CONCEPTS

[20] NEW APPROACH TO REPRESENTATION INDEPENDENT DATA CLASSES [J].

TENNENT, RD .