Kim B. Bruce, Adrian Fiech, Angela Schuett  Home/Search
Context Related
| williams.edu/pub/kim/PolyTOIL.ps.gz cs.mun.ca/~fiech/PolyTOIL.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: williams.edu/~kim/README (more) From: cs.mun.ca/~fiech/ Homepages: K.Bruce |
Rate this article:      (best)Comment on this article |
Abstract: PolyTOIL is a new statically-typed polymorphic object-oriented programming language which is provably type-safe. 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 which 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... (Update)
Cited by: More
Methods as Pattern-Matching Functions - Barry Jay University (2004) (Correct)
A Static C++ Object-Oriented Programming (SCOOP).. - Burrus.. (Correct)
Objective ML: A simple object-oriented extension of ML - Remy, Vouillon (1997) (Correct)
Similar documents (at the sentence level):
65.5%: PolyTOIL: A type-safe polymorphic object-oriented language - Kim Bruce Williams (1995) (Correct)
41.2%: PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language.. - Bruce, Schuett, al. (1995) (Correct)
Active bibliography (related documents): More All
0.4: A Paradigmatic Object-Oriented Programming Language: Design.. - Bruce (1993) (Correct)
0.3: Subtyping is not a good "Match" for.. - Bruce, Petersen, Fiech (Correct)
0.3: A Module System for LOOM - Petersen (1997) (Correct)
Similar documents based on text: More All
0.4: LOOJ: Weaving LOOM into Java - Kim Bruce And (2004) (Correct)
0.3: Parametric Polymorphism in a Type-Safe, Object-Oriented.. - Schuett (Correct)
0.3: Semantics-Driven Language Design: Statically - Types (Correct)
Related documents from co-citation: More All
31: Inheritance is not Subtyping (context) - Cook, Hill et al. - 1990
29: On Understanding Types (context) - Cardelli, Wegner - 1985
27: Eiffel -- The Language (context) - Meyer - 1992
BibTeX entry: (Update)
Kim B. Bruce, Angela Schuett, and Robert van Gent. Polytoil: A type-safe polymorphic object-oriented language (extended abstract) . In Proceeding of ECOOP, pages 27-- 51, LNCS 952, 1995. Springer Verlag. http://citeseer.ist.psu.edu/article/bruce95polytoil.html More
@article{ bruce95polytoil,
author = "Kim B. Bruce and Angela Schuett and Robert van Gent",
title = "{PolyTOIL}: {A} Type-Safe Polymorphic Object-Oriented Language",
journal = "Lecture Notes in Computer Science",
volume = "952",
pages = "27--51",
year = "1995",
url = "citeseer.ist.psu.edu/article/bruce95polytoil.html" }
Citations (may not include all citations):492 Smalltalk--80: The language and its implementation (context) - Goldberg, Robson - 1983
388 On understanding types (context) - Cardelli, Wegner - 1985
342 Eiffel: the language (context) - Meyer - 1992
175 Inheritance is not subtyping (context) - Cook, Hill et al. - 1990
174 Springer-Verlag (context) - Abadi, Cardelli et al. - 1996
129 ACM Transactions on Programming Languages and Systems (context) - Amadio, Cardelli et al. - 1993
101 Simple type-theoretic foundations for objectoriented program.. - Pierce, Turner - 1994
92 An introduction to Trellis/Owl (context) - Schaffert, Cooper et al. - 1986
81 Information and Computation (context) - Bruce, Longo et al. - 1990
81 A proposal for making Eiffel type-safe - Cook - 1989
76 Toward a typed foundation for method specialization and inhe.. (context) - Mitchell - 1990
74 Safe type checking in a statically typed object-oriented pro.. (context) - Bruce - 1993
72 A theory of primitive objects: untyped and firstorder system.. - Abadi, Cardelli - 1994
61 where clauses: Constraining parametric polymorphism (context) - Day, Gruber et al. - 1995
56 bounded quantification for object-oriented programming (context) - Canning, Cook et al. - 1989
51 Using category theory to design implicit conversions and gen.. (context) - Reynolds - 1980
47 A type system for prototyping languages - Katiyar, Luckham et al. - 1994
45 for object-oriented languages (context) - Bruce, Fiech et al. - 1997
44 recursive types and higherorder polymorphism (context) - Bruce, Mitchell et al. - 1992
42 A PER model of polymorphism and recursive types - Abadi, Plotkin - 1990
41 A theory of primitive objects: second-order systems - Abadi, Cardelli - 1994
38 Safe and decidable type checking in an object-oriented langu.. - Bruce, Crabtree et al. - 1993
37 Object-oriented programming without recursive types - Pierce, Turner - 1993
36 Recursion over realizability structures (context) - Amadio - 1991
31 An imperative object calculus - Abadi, Cardelli - 1995
22 Relational semantics for recursive types and bounded quantif.. (context) - Cardone - 1989
21 Strongtalk: Typechecking Smalltalk in a production environme.. - Bracha, Griswold - 1993
19 Application of OOP type theory: State (context) - Eifrig, Smith et al. - 1994
18 TOIL: A new type-safe object-oriented imperative language (context) - Bruce, van Gent - 1993
17 Ellis and Bjarne Stroustrop (context) - Margaret - 1990
17 Strong typing of object-oriented languages revisited (context) - Madsen, Magnusson et al. - 1990
15 Object Pascal report (context) - Tesler - 1985
11 An operational semantics for TOOPLE: A statically-typed obje.. (context) - Bruce, Crabtree et al. - 1994
5 matching and type quantification: A practical perspective (context) - Gawecki, Matthes - 1996
4 University of Edinburgh (context) - Pierce, Technical - 1993
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.williams.edu/~kim/README.html): More
Safe Static Type Checking With Systems of Mutually Recursive.. - Bruce (1997) (Correct)
Comparing Object Encodings - Bruce, Cardelli, Pierce (1998) (Correct)
Increasing Java's expressiveness with ThisType and match-bounded.. - Bruce (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC