System F with width-subtyping and record updating

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1281, Issue , 1997, Pages 439-457

  Poll, Erik ^a  

^a UNIVERSITY OF KENT   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; COMPUTER SOFTWARE; DIFFERENTIATION (CALCULUS); OBJECT ORIENTED PROGRAMMING;

POLYMORPHIC LAMBDA CALCULUS; SUBTYPINGS; SYSTEM F; THEORETIC MODEL;

FORMAL LANGUAGES;

EID: 84957631455     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0014562     Document Type: Conference Paper

References (18)

1. [AC95] Martín Abadi and Luca Cardelli. An imperative object calculus. In P. D. Mosses, M. Nielsen, and M.I. Schwartzbach, editors, TAPSOFT'95: Theory and Practice of Software Development, volume 915 of Lecture Notes in Computer Science, pages 471-485, 1995.
2. [AC96] Martín Abadi and Luca Cardelli. A Theory of Objects. Monographs in Computer Science. Springer, 1996.
3. [Ama91] Roberto M. Amadio. Recursion over realizability structures. Information and Computation, 90(2):55-85, 1991.
4. [AP91] Martín Abadi and Gordon Plotkin. A PER-model of polymorphism and recursive types. In Logic in Computer Science, pages 355-365. IEEE, 1990.
5. [BL90] Kim B. Bruce and Giuseppe Longo. A modest model of records, inheritance, and bounded quantification. Information and Computation, 87:196-240, 1990. Also in [GM94].
6. [BL94] Viviana Bono and Luigi Liquori. A subtyping for the Fisher-Honsell-Mitchell lambda calculus of objects. In Leszek Pachołski and Jerzy Tiuryn, editors, CSL '94, volume 933 of LNCS, pages 16-30. Springer, 1994.
7. [BM92] Kim B. Bruce and John C. Mitchell. PER models of subtyping, recursive types and hieher-order polymorphism. In Principles of Proqramminq Lanquaqes, pages 316-327. ACM, 1992.
8. [Car92] Luca Cardelli. Extensible records in a pure calculus of subtyping. Research report 81, DEC Systems Research Center, 1992. Also in [GM94].
9. [CM91] Luca Cardelli and John Mitchell. Operations on records. Mathematical Structures in Computer Science, 1:3-48, 1991. Also in [GM94].
10. [CW85] Luca Cardelli and Peter Wegner. Oil understanding types, data abstraction and polymorphism. Computing Surveys, 17(4):471-522, 1985.
11. [FHM94] Kathleen Fisher, Furio Honsell, and John C. Mitchell. A lambda calculus of objects and method specialization. Nordic Journal of Computing, l(l):3-37, 1994.
12. [FM94] Kathleen Fislier and John C. Mitchell. Notes on typed object-oriented programming. In Proceedings of Theoretical Aspects of Computer Software (TACS'94), Sendai, Japan, volume 789 of LNCS, pages 844-886. Springer, 1994.
13. [GM94] Carl A. Gunter and John C. Mitchell. Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design. The MIT Press, 1994.
14. [HP96] Martin Hofmann and Benjamin C. Pierce. Positive subtyping. Information and Computation, 120(1):11-33, 10 April 1996.
15. [Oho95] Atsushi Ohori. A polymorphic record calculus and its compilation. ACM Trans, on Prog. Lang, and Syst., 17(6):845-895, 1995.
16. [Pie96] Benjamin C. Pierce. Even simpler type-theoretic foundations for object-oriented programming, manuscript, March 1996.
17. [PT94] Benjamin C. Pierce and David N. Turner. Simple type-theoretic foundations for object-oriented programming. Journal of Functional Programming, 4(2):207-247, April 1994.
18. [Zwa95] Jan Zwanenburg. Record concatenation with intersection types. Computing Science Report (95/34), Eindhoven University of Technology, 1995.