共 50 条
- [2] DATA-TYPES AS ALGORITHMS RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1984, 18 (01): : 3 - 22
- [8] DATA-TYPES ARE VALUES ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1985, 7 (03): : 426 - 445
- [10] Efficient Data-Types Analysis for a Functional Concurrent Model of Programming INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2016, 16 (02): : 27 - 31