메뉴 건너뛰기




Volumn 17, Issue 3, 1978, Pages 348-375

A theory of type polymorphism in programming

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER METATHEORY;

EID: 0018105622     PISSN: 00220000     EISSN: 10902724     Source Type: Journal    
DOI: 10.1016/0022-0000(78)90014-4     Document Type: Article
Times cited : (1390)

References (23)
  • 4
    • 0017505857 scopus 로고
    • Some ideas on data type in high-level languages
    • (1977) Comm. ACM. , vol.20 , pp. 414-420
    • Gries1    Gehani2
  • 9
    • 84915601913 scopus 로고
    • Models of LCF
    • 3rd ed, Mathematical Centre, Amsterdam
    • (1976) Tracts , vol.82 , pp. 49-63
    • Milner1
  • 10
    • 0003561748 scopus 로고
    • Lambda-Calculus Models of Programming Languages
    • 3rd ed, MIT, MACTR-57
    • (1968) Ph.D. Thesis
    • Morris1
  • 20
    • 34250290717 scopus 로고
    • On a new approach to representation-independent data classes
    • (1977) Acta Inform. , vol.8 , pp. 315-324
    • Tennent1
  • 21
  • 23
    • 77955456983 scopus 로고
    • Abstraction and Verification in ALPHARD: Introduction to Language and Methodology
    • 3rd ed, Univ. of California
    • (1976) ISI/RR-76-46
    • Wulf1    London2    Shaw3


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.