메뉴 건너뛰기




Volumn 1683, Issue , 1999, Pages 420-438

Anti-symmetry of higher-order subtyping

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; DIFFERENTIATION (CALCULUS); FORMAL LANGUAGES; SEMANTICS;

EID: 11444252017     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48168-0_30     Document Type: Conference Paper
Times cited : (6)

References (35)
  • 3
    • 0029713792 scopus 로고    scopus 로고
    • Subtyping dependent types
    • New Brunswick, New Jersey, USA, July, Long version to appear in Theoretical Computer Science
    • D. Aspinall and A. Compagnoni. Subtyping dependent types. In Eleventh Annual IEEE Symposium on Logic in Computer Science, New Brunswick, New Jersey, USA, July 1996. Long version to appear in Theoretical Computer Science.
    • (1996) Eleventh Annual IEEE Symposium on Logic in Computer Science
    • Aspinall, D.1    Compagnoni, A.2
  • 7
    • 0025462449 scopus 로고
    • A modest model of records, inheritance, and bounded quantification
    • K. B. Bruce and G. Longo. A modest model of records, inheritance, and bounded quantification. Information and Computation, 87:196-240, 1990.
    • (1990) Information and Computation , vol.87 , pp. 196-240
    • Bruce, K.B.1    Longo, G.2
  • 8
    • 0023961010 scopus 로고
    • A semantics of multiple inheritance
    • L. Cardelli. A semantics of multiple inheritance. Information and Computation, 76:138-164, 1988.
    • (1988) Information and Computation , vol.76 , pp. 138-164
    • Cardelli, L.1
  • 11
    • 84976189160 scopus 로고
    • Operations on records
    • Also in [23], and available as DEC Systems Research Center Research Report #48, August, 1989, and in the proceedings of MFPS’89, Springer LNCS volume 442
    • L. Cardelli and J. Mitchell. Operations on records. Mathematical Structures in Computer Science, 1:3-48, 1991. Also in [23], and available as DEC Systems Research Center Research Report #48, August, 1989, and in the proceedings of MFPS’89, Springer LNCS volume 442.
    • (1991) Mathematical Structures in Computer Science , vol.1 , pp. 3-48
    • Cardelli, L.1    Mitchell, J.2
  • 12
    • 0022333721 scopus 로고
    • On understanding types, data abstraction, and polymorphism. Computing Surveys
    • L. Cardelli and P. Wegner. On understanding types, data abstraction, and polymorphism. Computing Surveys, 17(4), Dec. 1985.
    • (1985) 17(4)
    • Cardelli, L.1    Wegner, P.2
  • 13
    • 84888881441 scopus 로고    scopus 로고
    • PhD thesis, University of Edinburgh, Forthcoming Thesis. Supervisor: Prof. S. Abramsky
    • J. Chroboczek. Game Semantics and Subtyping. PhD thesis, University of Edinburgh, 1999. Forthcoming Thesis. Supervisor: Prof. S. Abramsky.
    • (1999) Game Semantics and Subtyping
    • Chroboczek, J.1
  • 15
    • 0003922693 scopus 로고    scopus 로고
    • Technical Report ECS-LFCS-97-361, University of Edinburgh, July, ubmitted to Information and Computation
    • A. Compagnoni and H. Goguen. Typed operational semantics for higher order subtyping. Technical Report ECS-LFCS-97-361, University of Edinburgh, July 1997. ubmitted to Information and Computation.
    • (1997) Typed Operational Semantics for Higher Order Subtyping
    • Compagnoni, A.1    Goguen, H.2
  • 16
    • 0003922695 scopus 로고
    • PhD thesis, University of Nijmegen, The Netherlands, Jan, Supervisor: Prof. Barendregt. ISBN 90-9007860-6
    • A. B. Compagnoni. Higher-Order Subtyping with Intersection Types. PhD thesis, University of Nijmegen, The Netherlands, Jan 1995. Supervisor: Prof. Barendregt. ISBN 90-9007860-6.
    • (1995) Higher-Order Subtyping with Intersection Types
    • Compagnoni, A.B.1
  • 19
    • 85027618646 scopus 로고
    • Subtyping + extensionality: Confluence of βη-reductions in F≤
    • T. Ito and A. R. Meyer, editors, in Lecture Notes in Computer Science, Springer-Verlag, Sept
    • ≤. In T. Ito and A. R. Meyer, editors, Theoretical Aspects of Computer Software (Sendai, Japan), number 526 in Lecture Notes in Computer Science, pages 731-749. Springer-Verlag, Sept. 1991.
    • (1991) Theoretical Aspects of Computer Software (Sendai, Japan) , vol.526 , pp. 731-749
    • Curien, P.-L.1    Ghelli, G.2
  • 30
    • 0031119355 scopus 로고    scopus 로고
    • Higher-order subtyping
    • corrigendum in TCS vol. 184 (1997), p. 247
    • B. Pierce and M. Steffen. Higher-order subtyping. Theoretical Computer Science, 176(1-2) 235-282, 1997. corrigendum in TCS vol. 184 (1997), p. 247.
    • (1997) Theoretical Computer Science , vol.176 , Issue.1-2 , pp. 235-282
    • Pierce, B.1    Steffen, M.2
  • 32
    • 0004020010 scopus 로고    scopus 로고
    • Technical Report 492, Computer Science Department, Indiana University
    • B. C. Pierce. Bounded quantification with bottom. Technical Report 492, Computer Science Department, Indiana University, 1997.
    • (1997) Bounded Quantification with Bottom
    • Pierce, B.C.1
  • 33
    • 0012623741 scopus 로고    scopus 로고
    • Lehrstuhl für Informatik VII, Friedrich Alexander Universität Erlangen-Nürnberg
    • M. Steffen. Polarized Higher-Order Subtyping. PhD thesis, Lehrstuhl für Informatik VII, Friedrich Alexander Universität Erlangen-Nürnberg, 1998.
    • (1998) Polarized Higher-Order Subtyping. Phd Thesis
    • Steffen, M.1
  • 34
    • 33750690061 scopus 로고
    • Equational axiomatization of bicoercibility for polymorphic types
    • A. Compagnoni and H. Goguen
    • J. Tiuryn. Equational axiomatization of bicoercibility for polymorphic types. In Proceedings of FST-TCS’95, 1995. 436 A. Compagnoni and H. Goguen
    • (1995) Proceedings of FST-TCS’95 , pp. 436
    • Tiuryn, J.1


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