메뉴 건너뛰기




Volumn 13, Issue 3, 2000, Pages 239-278

Polymorphic environment calculus and its type-inference algorithm

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL LINGUISTICS; CONFORMAL MAPPING; FUNCTIONS; THEOREM PROVING;

EID: 0034268991     PISSN: 13883690     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1010010314528     Document Type: Article
Times cited : (19)

References (36)
  • 3
    • 0005258611 scopus 로고
    • 4 report on the algorithmic language Scheme
    • 4 report on the algorithmic language Scheme. ACM Lisp Pointers 4(3) (1991) 1-55.
    • (1991) ACM Lisp Pointers , vol.4 , Issue.3 , pp. 1-55
    • Clinger, W.1    Rees, J.2
  • 5
    • 0026152557 scopus 로고
    • An abstract framework for environment machines
    • Curien, P.-L. An abstract framework for environment machines. Theoretical Computer Science 82 (1991) 389-402.
    • (1991) Theoretical Computer Science , vol.82 , pp. 389-402
    • Curien, P.-L.1
  • 6
    • 0030101783 scopus 로고    scopus 로고
    • Confluence properties of weak and strong calculi of explicit substitutions
    • Curien, P.-L., Hardin, T., and Lévy, J.-J. Confluence properties of weak and strong calculi of explicit substitutions. Journal of the ACM 43(2) (1996) 362-397.
    • (1996) Journal of the ACM , vol.43 , Issue.2 , pp. 362-397
    • Curien, P.-L.1    Hardin, T.2    Lévy, J.-J.3
  • 14
    • 0024700458 scopus 로고
    • Confluence results for the pure strong categorical logic ccl, λ-calculi as subsystems of ccl
    • Hardin, T. Confluence results for the pure strong categorical logic ccl, λ-calculi as subsystems of ccl. Theoretical Computer Science 65 (1989) 291-342.
    • (1989) Theoretical Computer Science , vol.65 , pp. 291-342
    • Hardin, T.1
  • 16
    • 0027666650 scopus 로고
    • Type inference with extended pattern matching and subtypes
    • Jategaonkar, L.A. andMitchell, J.C. Type inference with extended pattern matching and subtypes. Fundamenta Informaticae 19 (1993) 127-166.
    • (1993) Fundamenta Informaticae , vol.19 , pp. 127-166
    • Jategaonkar, L.A.1    Mitchell, J.C.2
  • 19
    • 1442283511 scopus 로고    scopus 로고
    • September
    • 5 report on the algorithmic language Scheme. Higher- Order and Symbolic Computation 11(1) (1998) 7-105. Also appears in ACM SIGPLAN Notices 33(9), September 1998.
    • (1998) ACM SIGPLAN Notices , vol.33 , Issue.9
  • 20
    • 0001834942 scopus 로고
    • Term rewriting systems
    • Clarendon Press
    • Klop, J.W. Term rewriting systems. In Handbook of Logic in Computer Science, Vol. 2. Clarendon Press, 1992, pp. 1-116.
    • (1992) Handbook of Logic in Computer Science , vol.2 , pp. 1-116
    • Klop, J.W.1
  • 21
    • 0023961088 scopus 로고
    • Pebble, a kernel language for modules and abstract data types
    • Lampson, B. and Burstall, R. Pebble, a kernel language for modules and abstract data types. Information and Computation 76 (1988) 278-346.
    • (1988) Information and Computation , vol.76 , pp. 278-346
    • Lampson, B.1    Burstall, R.2
  • 23
    • 0343284824 scopus 로고
    • Free variables and first-class environments
    • Miller, J.S. and Rozas, G.J. Free variables and first-class environments. Lisp and Symbolic Computation 4(2) (1991) 107-141.
    • (1991) Lisp and Symbolic Computation , vol.4 , Issue.2 , pp. 107-141
    • Miller, J.S.1    Rozas, G.J.2
  • 32
    • 0030284459 scopus 로고    scopus 로고
    • An operational semantics of sharing in lazy evaluation
    • Seaman, J. and Iyer, S.P. An operational semantics of sharing in lazy evaluation. Science of Computer Programming 27(3) (1996) 286-322.
    • (1996) Science of Computer Programming , vol.27 , Issue.3 , pp. 286-322
    • Seaman, J.1    Iyer, S.P.2
  • 33
    • 0011231422 scopus 로고    scopus 로고
    • Reasoning about functions with effects
    • A.D. Gordon and A.M. Pitts, (Eds). Cambridge University Press
    • Talcott, C. Reasoning about functions with effects. In Higher-Order Operational Techniques in Semantics, A.D. Gordon and A.M. Pitts, (Eds). Cambridge University Press, 1996, pp. 347-390.
    • (1996) Higher-Order Operational Techniques in Semantics , pp. 347-390
    • Talcott, C.1
  • 35
    • 0025518981 scopus 로고
    • Type inference for polymorphic references
    • Tofte, M. Type inference for polymorphic references. Information and Computation 89(1) (1990) 1-34.
    • (1990) Information and Computation , vol.89 , Issue.1 , pp. 1-34
    • Tofte, M.1
  • 36
    • 0026187053 scopus 로고
    • Type inference for record concatenation and multiple inheritance
    • Wand, M. Type inference for record concatenation and multiple inheritance. Information and Computation 93 (1991) 1-15.
    • (1991) Information and Computation , vol.93 , pp. 1-15
    • Wand, M.1


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