메뉴 건너뛰기




Volumn 45, Issue 4, 2002, Pages 436-452

Explaining polymorphic types

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER PROGRAM LISTINGS; ERROR ANALYSIS; HUMAN COMPUTER INTERACTION; INFERENCE ENGINES; RELIABILITY; SEMANTICS;

EID: 0036318816     PISSN: 00104620     EISSN: None     Source Type: Journal    
DOI: 10.1093/comjnl/45.4.436     Document Type: Article
Times cited : (16)

References (30)
  • 4
    • 84922995178 scopus 로고
    • Miranda: A non-strict functional language with polymorphic types
    • Jouannaud, J. P. (ed.), Proc. Functional Programming Languages and Computer Architecture. Springer, Berlin
    • (1985) Lecture Notes in Computer Science , vol.201 , pp. 1-16
    • Turner, D.1
  • 8
    • 0012686903 scopus 로고    scopus 로고
    • Compatible genericity with run-time types for the Java™ programming language
    • Vancouver, 18-22 October. ACM Press, New York
    • (1998) OOPSLA 98 , pp. 201-215
    • Cartwright1    Steele G.L., Jr.2
  • 11
    • 0000968273 scopus 로고
    • A logic programming language with lambda-abstraction, function variables, and simple unification
    • (1991) J. Logic Comput. , vol.1 , pp. 497-536
    • Miller, D.1
  • 20
    • 0009811280 scopus 로고    scopus 로고
    • Personal Communication. Chalmers University of Technology, Göteborg, June
    • (1999)
    • Agat, J.1    Gustavsson, J.2
  • 21
    • 0003067236 scopus 로고    scopus 로고
    • Explaining type errors by finding the source of a type conflict
    • Michaelson, G., Trinder, P. and Loidl, H.-W. (eds), Intellect, Bristol
    • (2000) Trends in Functional Programming , pp. 58-66
    • Yang, J.1


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