Object type constructors

被引：0
|
作者：
Duggan, D [1 ]
机构：
[1] Stevens Inst Technol, Dept Comp Sci, Hoboken, NJ 07040 USA
来源：
ACTA INFORMATICA | 2002年 / 38卷 / 06期
关键词：
D O I：
10.1007/s002360100076
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Object type constructors are a model for container objects in typed object-oriented programming languages. Object type constructors solve the difficulties with combining container objects with type inference and parametric polymorphism, the latter of which are used very successfully in functional languages such as ML and Haskell. The semantics of object type constructors introduces a new object cloning operation for container objects with method update, motivated by concerns independent of type inference.
引用
收藏
页码：367 / 408
页数：42
相关论文
共 50 条
  • [1] Object type constructors
    Dominic Duggan
    [J]. Acta Informatica, 2002, 38 : 367 - 408
  • [2] Self Type Constructors
    Saito, Chieri
    Igarashi, Atsushi
    [J]. ACM SIGPLAN NOTICES, 2009, 44 (10) : 263 - 282
  • [3] Template Constructors for Reusable Object Initialization
    Martin, Marko
    Mezini, Mira
    Erdweg, Sebastian
    [J]. ACM SIGPLAN NOTICES, 2014, 49 (03) : 43 - 52
  • [4] Self Type Constructors
    Saito, Chieri
    Igarashi, Atsushi
    [J]. OOPSLA 2009, CONFERENCE PROCEEDINGS, 2009, : 263 - 282
  • [5] CATEGORICAL ASPECTS OF DATA TYPE CONSTRUCTORS
    GRAY, JW
    [J]. THEORETICAL COMPUTER SCIENCE, 1987, 50 (02) : 103 - 135
  • [6] The role of constructors in the context of refactoring object-oriented systems
    Najjar, R
    Counsell, S
    Loizou, G
    Mannock, K
    [J]. SEVENTH EUROPEAN CONFERENCE ON SOFTWARE MAINTENANCE AND REENGINEERING, PROCEEDINGS, 2003, : 111 - 120
  • [7] Fixed points of type constructors and primitive recursion
    Abel, A
    Matthes, R
    [J]. COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2004, 3210 : 190 - +
  • [8] A TYPED LAMBDA-CALCULUS WITH CATEGORICAL TYPE CONSTRUCTORS
    HAGINO, T
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 283 : 140 - 157
  • [9] Collection type constructors in entity-relationship modeling
    Hartmann, Sven
    Link, Sebastian
    [J]. CONCEPTUAL MODELING - ER 2007, PROCEEDINGS, 2007, 4801 : 307 - 322
  • [10] A Polymorphic Type System for the Lambda-Calculus with Constructors
    Petit, Barbara
    [J]. TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, 2009, 5608 : 234 - 248
12345