메뉴 건너뛰기




Volumn , Issue , 1991, Pages 291-302

Polymorphic type inference and assignment

Author keywords

[No Author keywords available]

Indexed keywords

GENERIC FUNCTIONS; IMPERATIVE PROGRAMMING; ML-LIKE LANGUAGES; NEW APPROACHES; POLYMORPHIC TYPES; TYPE RECONSTRUCTION; TYPE SYSTEMS;

EID: 84971962400     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/99583.99622     Document Type: Conference Paper
Times cited : (39)

References (17)
  • 2
    • 0013259446 scopus 로고
    • Research report 45 DEC Systems Research Center
    • L. Cardelli. Typeful programming. Research report 45, DEC Systems Research Center, 1989.
    • (1989) Typeful Programming
    • Cardelli, L.1
  • 6
    • 85028838229 scopus 로고
    • Type inference with subtypes
    • Springer Verlag ESOP 88
    • Y.-C. Fuh and P. Mishra. Type inference with subtypes. In ESOP 88, volume 300 of Lecture Notes in Computer Science, pages 94-114. Springer Verlag, 1988.
    • (1988) Lecture Notes in Computer Science , vol.300 , pp. 94-114
    • Fuh, Y.-C.1    Mishra, P.2
  • 8
    • 0003630848 scopus 로고
    • of Lecture Notes in Computer Science. Springer-Verlag
    • M. J. Gordon, A. J. Milner, and C. P. Wadsworth. Edinburgh L CF, volume 78 of Lecture Notes in Computer Science. Springer-Verlag, 1979.
    • (1979) Edinburgh L CF , vol.78
    • Gordon, M.J.1    Milner, A.J.2    Wadsworth, C.P.3
  • 14
    • 0000251525 scopus 로고
    • Toward a theory of type structure
    • of Lecture Notes in Computer Science. Springer-Verlag
    • J. C. Reynolds. Toward a theory of type structure, In Colloquium on Programming, volume 19 of Lecture Notes in Computer Science. Springer-Verlag, 1974.
    • (1974) Colloquium on Programming , vol.19
    • Reynolds, J.C.1
  • 15
    • 84915449610 scopus 로고
    • FRESH a higher-order language with unification and multiple results
    • Prentice-Hall
    • G. Smolka. FRESH: A higher-order language with unification and multiple results. In Logic Programming: Functions, Relations, and Equations. Prentice-Hall, 1986.
    • (1986) Logic Programming: Functions, Relations, and Equations
    • Smolka, G.1


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