메뉴 건너뛰기




Volumn 18, Issue 3, 1996, Pages 254-267

Polymorphic Typing of Variables and References

Author keywords

Assignment; D.3.3 Programming Languages : Language constructs and features; F.3.3 Logics and Meanings of Programs : Studies of program constructs type structure; Languages; References; Theory; Variables; Verification

Indexed keywords

COMPUTER SOFTWARE; FORMAL LANGUAGES; LOGIC PROGRAMMING; PROGRAMMING THEORY;

EID: 0030146184     PISSN: 01640925     EISSN: None     Source Type: Journal    
DOI: 10.1145/229542.229544     Document Type: Article
Times cited : (3)

References (19)
  • 3
    • 0042225946 scopus 로고
    • Lecture Notes in Computer Science, Springer-Verlag, Berlin
    • GORDON, M., MILNER, R., AND WADSWORTH, C. 1979. Edinburgh LCF. Lecture Notes in Computer Science, vol. 78. Springer-Verlag, Berlin.
    • (1979) Edinburgh LCF , vol.78
    • Gordon, M.1    Milner, R.2    Wadsworth, C.3
  • 4
    • 0041901192 scopus 로고
    • Tech. Rep. CMU-CS-93-160, School of Computer Science, Carnegie Mellon Univ., Pittsburgh, Pa. May
    • GREINER, J. 1993. Standard ML weak polymorphism can be sound. Tech. Rep. CMU-CS-93-160, School of Computer Science, Carnegie Mellon Univ., Pittsburgh, Pa. May.
    • (1993) Standard ML Weak Polymorphism Can Be Sound
    • Greiner, J.1
  • 5
    • 0028479982 scopus 로고
    • A simplified account of polymorphic references
    • HARPER, R. 1994. A simplified account of polymorphic references. Inf. Process. Lett. 51, 201-206.
    • (1994) Inf. Process. Lett. , vol.51 , pp. 201-206
    • Harper, R.1
  • 6
    • 0012735041 scopus 로고    scopus 로고
    • A note on "A simplified account of polymorphic references."
    • HARPER, R. 1996. A note on "A simplified account of polymorphic references." Inf. Process. Lett. 57, 15-16.
    • (1996) Inf. Process. Lett. , vol.57 , pp. 15-16
    • Harper, R.1
  • 11
    • 84947907566 scopus 로고    scopus 로고
    • Towards an ML-style polymorphic type system for C
    • Lecture Notes in Computer Science. Springer-Verlag, Berlin. To appear
    • SMITH, G. AND VOLPANO, D. 1996. Towards an ML-style polymorphic type system for C. In Proceedings of the 6th European Symposium on Programming. Lecture Notes in Computer Science. Springer-Verlag, Berlin. To appear.
    • (1996) Proceedings of the 6th European Symposium on Programming
    • Smith, G.1    Volpano, D.2
  • 13
    • 0025518981 scopus 로고
    • Type inference for polymorphic references
    • TOFTE, M. 1990. Type inference for polymorphic references. Inf. Comput. 89, 1-34.
    • (1990) Inf. Comput. , vol.89 , pp. 1-34
    • Tofte, M.1
  • 14
    • 0041400173 scopus 로고
    • A type soundness proof for variables in LCF ML
    • VOLPANO, D. AND SMITH, G. 1995. A type soundness proof for variables in LCF ML. Inf. Process. Lett. 56, 141-146.
    • (1995) Inf. Process. Lett. , vol.56 , pp. 141-146
    • Volpano, D.1    Smith, G.2
  • 15
    • 1542482018 scopus 로고    scopus 로고
    • Tech. Rep. NPS-CS-96-003, Computer Science Dept., Naval Postgraduate School, Monterey, Calif.
    • VOLPANO, D. AND SMITH, G. 1996. A note on typing variables and references. Tech. Rep. NPS-CS-96-003, Computer Science Dept., Naval Postgraduate School, Monterey, Calif.
    • (1996) A Note on Typing Variables and References
    • Volpano, D.1    Smith, G.2
  • 16
    • 85027599094 scopus 로고
    • Typing references by effect inference
    • Lecture Notes in Computer Science, Springer-Verlag, Berlin
    • WRIGHT, A. 1992. Typing references by effect inference. In Proceedings of the 4th European Symposium on Programming. Lecture Notes in Computer Science, vol. 582. Springer-Verlag, Berlin, 473-491.
    • (1992) Proceedings of the 4th European Symposium on Programming , vol.582 , pp. 473-491
    • Wright, A.1
  • 18
    • 0001020708 scopus 로고
    • Simple imperative polymorphism
    • WRIGHT, A. 1995. Simple imperative polymorphism. J. Lisp Symb. Comput. 8, 4 (Dec.), 343-356.
    • (1995) J. Lisp Symb. Comput. , vol.8 , Issue.4 DEC , pp. 343-356
    • Wright, A.1
  • 19
    • 0003025818 scopus 로고
    • A syntactic approach to type soundness
    • WRIGHT, A. AND FELLEISEN, M. 1994. A syntactic approach to type soundness. Inf. Comput. 115, 1 (Nov.), 38-94.
    • (1994) Inf. Comput. , vol.115 , Issue.1 NOV , pp. 38-94
    • Wright, A.1    Felleisen, M.2


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