PolyTOIL-Reference-Cited by-同舟云学术

PolyTOIL

Published:2003-03 Issue:2 Volume:25 Page:225-290
ISSN:0164-0925
Container-title:ACM Transactions on Programming Languages and Systems
language:en
Short-container-title:ACM Trans. Program. Lang. Syst.

Author:

Bruce Kim B.¹,Schuett Angela²,van Gent Robert³,Fiech Adrian⁴

Affiliation:

1. Williams College, Williamstown, MA

2. Williams College, Berkeley

3. Williams College

4. Memorial University of Newfoundland

Abstract

PolyTOIL is a new statically typed polymorphic object-oriented programming language that is provably typesafe. By separating the definitions of subtyping and inheritance, providing a name for the type of self, and carefully defining the type-checking rules, we have obtained a language that is very expressive while supporting modular type-checking of classes. The matching relation on types, which is related to F-bounded quantification, is used both in stating type-checking rules and expressing the bounds on type parameters for polymorphism. The design of PolyTOIL is based on a careful formal definition of type-checking rules and semantics. A proof of type safety is obtained with the aid of a subject reduction theorem.

Publisher

Association for Computing Machinery (ACM)

Subject

Software

Link

https://dl.acm.org/doi/pdf/10.1145/641888.641891

Reference43 articles.

1. Subtyping recursive types

2. Abadi M. and Cardelli L . 1995 . An imperative object calculus. In TAPSOFT '95: Theory and Practice of Software Development P.D. Mosses and M. Nielsen Eds. Lecture Notes in Computer Science vol. 915 Springer-Verlag New York 471--485. Abadi M. and Cardelli L. 1995. An imperative object calculus. In TAPSOFT '95: Theory and Practice of Software Development P.D. Mosses and M. Nielsen Eds. Lecture Notes in Computer Science vol. 915 Springer-Verlag New York 471--485.

3. Abadi M. and Cardelli L. 1996. A Theory of Objects. Springer-Verlag New York. Abadi M. and Cardelli L. 1996. A Theory of Objects. Springer-Verlag New York.

Cited by 22 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Familia: unifying interfaces, type classes, and family polymorphism;Proceedings of the ACM on Programming Languages;2017-10-12

2. ThisType for Object-Oriented Languages;ACM Transactions on Programming Languages and Systems;2016-05-02

3. Aspectual templates in UML;Software & Systems Modeling;2015-04-28

4. Globalized Domain Specific Language Engineering;Globalizing Domain-Specific Languages;2015

5. A New Formalization of Subtyping to Match Subclasses to Subtypes;Functional and Logic Programming;2014