DIMENSIONAL DATA-TYPES IN FORTH

被引：0

作者：

NOBLE, JV

机构：

来源：

DR DOBBS JOURNAL | 1988年 / 13卷 / 01期

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：12 / &

共 50 条

[1] DIMENSIONAL DATA-TYPES
JONES, DW
[J]. DR DOBBS JOURNAL, 1987, 12 (05): : 50 - &
[2] CONTINUOUS DATA-TYPES
LEVY, MR
MAIBAUM, TSE
[J]. SIAM JOURNAL ON COMPUTING, 1982, 11 (02) : 201 - 216
[3] ON THE REPRESENTATION OF DATA-TYPES
OREJAS, F
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1981, 107 : 419 - 431
[4] ROBUST DATA-TYPES
CRISTIAN, F
[J]. ACTA INFORMATICA, 1982, 17 (04) : 365 - 397
[5] CONSTRUCTIVE DATA-TYPES
MCCARTY, DC
[J]. JOURNAL OF SYMBOLIC LOGIC, 1985, 50 (04) : 1097 - 1097
[6] DATA-TYPES AS ALGORITHMS
ABDALLAH, MAN
[J]. RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1984, 18 (01): : 3 - 22
[7] DATA-TYPES ARE VALUES
DONAHUE, J
DEMERS, A
[J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1985, 7 (03): : 426 - 445
[8] SPECIFICATION BY DATA-TYPES
ANAIRCHINNIGH, MM
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 252 : 362 - 388
[9] OBSERVING NONDETERMINISTIC DATA-TYPES
NIPKOW, T
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 332 : 170 - 183
[10] DATA-TYPES IN DISTRIBUTIVE CATEGORIES
WALTERS, RFC
[J]. BULLETIN OF THE AUSTRALIAN MATHEMATICAL SOCIETY, 1989, 40 (01) : 79 - 82