메뉴 건너뛰기




Volumn 10, Issue , 1998, Pages 2-27

Parametric polymorphism and operational equivalence (Preliminary Version)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER PROGRAMMING LANGUAGES; DATA STRUCTURES; ENCODING (SYMBOLS); FUNCTIONS; OBJECT ORIENTED PROGRAMMING; SEMANTICS;

EID: 19144369844     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80685-1     Document Type: Conference Paper
Times cited : (8)

References (37)
  • 2
  • 4
    • 84957702908 scopus 로고    scopus 로고
    • Relational interpretation of recursive types in an operational setting (Summary)
    • Berlin: Springer-Verlag. To appear
    • Birkedal L., Harper R. Relational interpretation of recursive types in an operational setting (Summary). In Proc. TACS'97, Lecture Notes in Computer Science. 1997;Springer-Verlag, Berlin. To appear
    • (1997) In Proc. TACS'97, Lecture Notes in Computer Science
    • Birkedal, L.1    Harper, R.2
  • 5
    • 0022103846 scopus 로고
    • Automatic synthesis of typed λ-programs on term algebras
    • Böhm C., Berarducci A. Automatic synthesis of typed λ-programs on term algebras. Theoretical Computer Science. 39:1985;135-154
    • (1985) Theoretical Computer Science , vol.39 , pp. 135-154
    • Böhm, C.1    Berarducci, A.2
  • 9
    • 0026913084 scopus 로고
    • The revised report on the syntactic theories of sequential control and state
    • Felleisen M., Hieb R. The revised report on the syntactic theories of sequential control and state. Theoretical Computer Science. 103:1992;235-271
    • (1992) Theoretical Computer Science , vol.103 , pp. 235-271
    • Felleisen, M.1    Hieb, R.2
  • 10
    • 0004099873 scopus 로고
    • Interprétation fonctionelle et élimination des coupures dans Varithmetique d'ordre supérieur
    • These de doctorat d'état
    • Girard J.-Y. Interprétation fonctionelle et élimination des coupures dans Varithmetique d'ordre supérieur. PhD thesis, Université Paris VII. 1972;. These de doctorat d'état
    • (1972) PhD Thesis, Université Paris VII
    • Girard, J.-Y.1
  • 11
    • 0003432047 scopus 로고
    • Cambridge University Press. Translated and with appendices by Y. Lafont., P. Taylor
    • Girard J.-Y. Proofs and Types. 1989;Cambridge University Press. Translated and with appendices by Y. Lafont., P. Taylor
    • (1989) Proofs and Types
    • Girard, J.-Y.1
  • 15
    • 19144366963 scopus 로고    scopus 로고
    • A type-theoretic account of Standard ML 1996 (version 2)
    • Pittsburgh, PA: Carnegie Mellon University
    • Harper R., Stone C. A type-theoretic account of Standard ML 1996 (version 2). Technical Report CMU-CS-96-136R. September 1996;Carnegie Mellon University, Pittsburgh, PA
    • (1996) Technical Report CMU-CS-96-136R
    • Harper, R.1    Stone, C.2
  • 16
    • 85000765729 scopus 로고
    • Parametricity of extensionally collapsed term models of polymorphism and their categorical properties
    • T. Ito, & A.R. Meyer. Berlin: Springer-Verlag
    • Hasegawa R. Parametricity of extensionally collapsed term models of polymorphism and their categorical properties. Ito T., Meyer A.R. Theoretical Aspects of Computer Software, volume 526 of Lecture Notes in Computer Science. 1991;495-512 Springer-Verlag, Berlin
    • (1991) Theoretical Aspects of Computer Software, Volume 526 of Lecture Notes in Computer Science , pp. 495-512
    • Hasegawa, R.1
  • 24
    • 0002057409 scopus 로고    scopus 로고
    • Operationally-based theories of program equivalence
    • P. Dybjer, & A.M. Pitts. Cambridge University Press
    • Pitts A.M. Operationally-based theories of program equivalence. Dybjer P., Pitts A.M. Semantics and Logics of Computation of the Newton Institute. 1997;241-298 Cambridge University Press
    • (1997) Semantics and Logics of Computation of the Newton Institute , pp. 241-298
    • Pitts, A.M.1
  • 25
    • 4243095416 scopus 로고    scopus 로고
    • Reasoning about local variables with operationally-based logical relations
    • P. W. O'Hearn and R. D. Tennent, editors chapter 17 Birkhauser
    • A. M. Pitts. Reasoning about local variables with operationally-based logical relations. In P. W. O'Hearn and R. D. Tennent, editors, Algol-Like Languages, volume 2, chapter 17, pages 173 - 193. Birkhauser, 1997.
    • (1997) Algol-like Languages , vol.2 , pp. 173-193
    • Pitts, A.M.1
  • 29
    • 0000230630 scopus 로고
    • LCF considered as a programming language
    • Plotkin G.D. LCF considered as a programming language. Theoretical Computer Science. 5:1977;223-255
    • (1977) Theoretical Computer Science , vol.5 , pp. 223-255
    • Plotkin, G.D.1
  • 34
    • 0020919435 scopus 로고
    • Types, abstraction and parametric polymorphism
    • R.E.A. Mason. North-Holland, Amsterdam
    • Reynolds J.C. Types, abstraction and parametric polymorphism. Mason R.E.A. Information Processing 83. 1983;513-523 North-Holland, Amsterdam
    • (1983) Information Processing 83 , pp. 513-523
    • Reynolds, J.C.1
  • 35
    • 4444285121 scopus 로고
    • On functors expressible in the polymorphic typed lambda calculus
    • Reynolds J.C., Plotkin G.D. On functors expressible in the polymorphic typed lambda calculus. Information and Computation. 105:1993;1-29
    • (1993) Information and Computation , vol.105 , pp. 1-29
    • Reynolds, J.C.1    Plotkin, G.D.2
  • 37
    • 0027986032 scopus 로고
    • Typability and type-checking in the second-order λ-calculus are equivalent and undecidable
    • Paris, France: IEEE Computer Society Press
    • Wells J.B. Typability and type-checking in the second-order λ-calculus are equivalent and undecidable. In Proceedings, 9th Annual IEEE Symposium on Logic in Computer Science. 1994;176-185 IEEE Computer Society Press, Paris, France
    • (1994) In Proceedings, 9th Annual IEEE Symposium on Logic in Computer Science , pp. 176-185
    • Wells, J.B.1


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