On the public citation graph

Subtyping is not a good “match” for object-oriented languages

0 signed · 108 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.

Claim with ORCID

Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1002/j.1096-9942.1995.tb00019.xopenalex-snapshot

On Binary Methods

inferredcites →https://doi.org/10.1007/3-540-49538-x_3openalex-snapshot

PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language

inferredcites →https://doi.org/10.1007/3-540-49538-x_8openalex-snapshot

On Subtyping and Matching

inferredcites →https://doi.org/10.1007/bfb0053055openalex-snapshot

Integrating subtyping, matching and type quantification: A practical perspective

inferredcites →https://doi.org/10.1016/0950-5849(92)90131-8openalex-snapshot

Eiffel: the language

inferredcites →https://doi.org/10.1017/s0956796800001039openalex-snapshot

A paradigmatic object-oriented programming language: Design, static typing and semantics

inferredcites →https://doi.org/10.1145/143165.143228openalex-snapshot

Bounded quantification is undecidable

inferredcites →https://doi.org/10.1145/158511.158650openalex-snapshot

Safe type checking in a statically-typed object-oriented programming language

inferredcites →https://doi.org/10.1145/174675.177838openalex-snapshot

A type system for prototyping languages

inferredcites →https://doi.org/10.1145/237721.237731openalex-snapshot

Using parameterized signatures to express modular structure

inferredcites →https://doi.org/10.1145/28697.28702openalex-snapshot

Encapsulation and inheritance in object-oriented programming languages

inferredcites →https://doi.org/10.1145/318593.318606openalex-snapshot

Abstract types have existential types

inferredcites →https://doi.org/10.1145/44501.45065openalex-snapshot

Abstract types have existential type

inferredcites →https://doi.org/10.1145/6041.6042openalex-snapshot

On understanding types, data abstraction, and polymorphism

inferredcites →https://doi.org/10.1145/960112.28702openalex-snapshot

Encapsulation and inheritance in object-oriented programming languages

inferredcites →https://doi.org/10.1145/96709.96721openalex-snapshot

Inheritance is not subtyping

inferredcites →https://doi.org/10.1145/97945.97964openalex-snapshot

Strong typing of object-oriented languages revisited

inferredcites →https://doi.org/10.1145/97945.97966openalex-snapshot

A parallel object-oriented language with inheritance and subtyping

inferredcites →https://doi.org/10.1145/97946.97964openalex-snapshot

Strong typing of object-oriented languages revisited

inferredcites →https://doi.org/10.1145/97946.97966openalex-snapshot

A parallel object-oriented language with inheritance and subtyping

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/smr.320openalex-snapshot

K ERIS : evolving software with extensible modules

inferred← citeshttps://doi.org/10.1006/inco.1999.2829openalex-snapshot

Comparing Object Encodings

inferred← citeshttps://doi.org/10.1006/inco.2001.3048openalex-snapshot

Type-Safe Covariant Specialization with Generalized Matching

inferred← citeshttps://doi.org/10.1006/inco.2002.3103openalex-snapshot

Modular Statically Typed Multimethods

inferred← citeshttps://doi.org/10.1006/inco.2002.3169openalex-snapshot

Inheritance-Based Subtyping

inferred← citeshttps://doi.org/10.1006/jvlc.1999.0153openalex-snapshot

Static Type Inference for a First-Order Declarative Visual Programming Language with Inheritance

inferred← citeshttps://doi.org/10.1007/11575467_12openalex-snapshot

Lightweight Family Polymorphism

inferred← citeshttps://doi.org/10.1007/11741060_5openalex-snapshot

Typed Compilation Against Non-manifest Base Classes

inferred← citeshttps://doi.org/10.1007/3-540-45309-1_18openalex-snapshot

The Recursive Record Semantics of Objects Revisited

inferred← citeshttps://doi.org/10.1007/3-540-46105-1_2openalex-snapshot

“Real World” as an Argument for Covariant Specialization in Programming and Modeling

inferred← citeshttps://doi.org/10.1007/3-540-46425-5_9openalex-snapshot

A Calculus for Compiling and Linking Classes

inferred← citeshttps://doi.org/10.1007/3-540-47993-7_19openalex-snapshot

On Variance-Based Subtyping for Parametric Types

inferred← citeshttps://doi.org/10.1007/3-540-48068-4_4openalex-snapshot

The Challenge of Object Orientation for the Analysis of Concurrent Systems

inferred← citeshttps://doi.org/10.1007/3-540-48321-7_11openalex-snapshot

An interpretation of extensible objects

inferred← citeshttps://doi.org/10.1007/3-540-48743-3_13openalex-snapshot

Modular Statically Typed Multimethods

inferred← citeshttps://doi.org/10.1007/3-540-48743-3_3openalex-snapshot

A Core Calculus of Classes and Mixins

inferred← citeshttps://doi.org/10.1007/978-1-4615-0413-9_2openalex-snapshot

A Stratification of Class Family Dependencies

inferred← citeshttps://doi.org/10.1007/978-3-319-07151-0_15openalex-snapshot

A New Formalization of Subtyping to Match Subclasses to Subtypes

inferred← citeshttps://doi.org/10.1007/978-3-540-24851-4_17openalex-snapshot

Semantic Casts: Contracts and Structural Subtyping in a Nominal World

inferred← citeshttps://doi.org/10.1007/978-3-540-24851-4_18openalex-snapshot

LOOJ: Weaving LOOM into Java

inferred← citeshttps://doi.org/10.1007/978-3-540-39866-0_6openalex-snapshot

Bending without Breaking: Making Software More Flexible

inferred← citeshttps://doi.org/10.1007/978-3-540-45070-2_10openalex-snapshot

A Nominal Theory of Objects with Dependent Types

inferred← citeshttps://doi.org/10.1007/978-3-540-45070-2_4openalex-snapshot

A Calculus of Untyped Aspect-Oriented Programs

inferred← citeshttps://doi.org/10.1007/978-3-540-73589-2_17openalex-snapshot

JavaGI: Generalized Interfaces for Java

inferred← citeshttps://doi.org/10.1007/978-3-540-89330-1_19openalex-snapshot

Interface Types for Haskell

inferred← citeshttps://doi.org/10.1007/bfb0014561openalex-snapshot

Comparing object encodings

inferred← citeshttps://doi.org/10.1007/bfb0054106openalex-snapshot

A statically safe alternative to virtual types

inferred← citeshttps://doi.org/10.1007/s001650200010openalex-snapshot

Should ML be Object-Oriented?

inferred← citeshttps://doi.org/10.1007/springerreference_64128openalex-snapshot

Type-based Publish/Subscribe

inferred← citeshttps://doi.org/10.1016/j.jlamp.2015.09.005openalex-snapshot

Amalgamation of domain specific languages with behaviour

inferred← citeshttps://doi.org/10.1016/j.scico.2006.02.008openalex-snapshot

Typed parametric polymorphism for aspects

inferred← citeshttps://doi.org/10.1016/j.scico.2012.12.010openalex-snapshot

Matching MyType to subtyping

inferred← citeshttps://doi.org/10.1016/s0304-3975(98)00137-6openalex-snapshot

Matching for the lambda calculus of objects

inferred← citeshttps://doi.org/10.1016/s1571-0661(04)00171-9openalex-snapshot

A CuCh Interpretation of an Object-Oriented Language1 1Partially supported by MURST Cofin '99 TOSCA.

inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80065-3openalex-snapshot

A Core Calculus of Classes and Objects

inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80066-5openalex-snapshot

Semantics-Driven Language Design:

inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80799-0openalex-snapshot

Some Challenging Typing Issues in Object-Oriented Languages

inferred← citeshttps://doi.org/10.1017/s0956796803004775openalex-snapshot

The recursive record semantics of objects revisited

inferred← citeshttps://doi.org/10.1017/s0956796807006405openalex-snapshot

Lightweight family polymorphism

inferred← citeshttps://doi.org/10.1017/s096012950600541xopenalex-snapshot

Addressed term rewriting systems: application to a typed object calculus

inferred← citeshttps://doi.org/10.1109/acsc.2000.824382openalex-snapshot

Software engineering despite object-orientation

inferred← citeshttps://doi.org/10.1109/tools.1997.681870openalex-snapshot

Genja-a new proposal for parameterised types in Java

inferred← citeshttps://doi.org/10.1109/tools.1997.713561openalex-snapshot

Unconstraining genericity

inferred← citeshttps://doi.org/10.1145/1028976.1028986openalex-snapshot

Scalable extensibility via nested inheritance

inferred← citeshttps://doi.org/10.1145/1035292.1028986openalex-snapshot

Scalable extensibility via nested inheritance

inferred← citeshttps://doi.org/10.1145/1094811.1094813openalex-snapshot

Associated types and constraint propagation for mainstream object-oriented generics

inferred← citeshttps://doi.org/10.1145/1152649.1152650openalex-snapshot

Variant parametric types

inferred← citeshttps://doi.org/10.1145/1167473.1167475openalex-snapshot

Eliminating distinctions of class

inferred← citeshttps://doi.org/10.1145/1167515.1167475openalex-snapshot

Eliminating distinctions of class

inferred← citeshttps://doi.org/10.1145/1180475.1180481openalex-snapshot

Type-based publish/subscribe

inferred← citeshttps://doi.org/10.1145/1238844.1238855openalex-snapshot

The development of the Emerald programming language

inferred← citeshttps://doi.org/10.1145/1289971.1289996openalex-snapshot

Lightweight scalable components

inferred← citeshttps://doi.org/10.1145/1297027.1297037openalex-snapshot

Variant path types for scalable extensibility

inferred← citeshttps://doi.org/10.1145/1297105.1297037openalex-snapshot

Variant path types for scalable extensibility

inferred← citeshttps://doi.org/10.1145/1449913.1449932openalex-snapshot

Lightweight dependent classes

inferred← citeshttps://doi.org/10.1145/1529282.1529699openalex-snapshot

Matching ThisType to subtyping

inferred← citeshttps://doi.org/10.1145/1557898.1557902openalex-snapshot

On subtyping, wildcards, and existential types

inferred← citeshttps://doi.org/10.1145/1922649.1922655openalex-snapshot

Implementing statically typed object-oriented programming languages

inferred← citeshttps://doi.org/10.1145/1985342.1985343openalex-snapshot

JavaGI

inferred← citeshttps://doi.org/10.1145/2162049.2162060openalex-snapshot

Adaptable generic programming with required type specifications and package templates

inferred← citeshttps://doi.org/10.1145/2603088.2603128openalex-snapshot

System F with coercion constraints

inferred← citeshttps://doi.org/10.1145/2631675.2631678openalex-snapshot

Towards Constraint-Based Model Types

inferred← citeshttps://doi.org/10.1145/268946.268968openalex-snapshot

Static typing for dynamic messages

inferred← citeshttps://doi.org/10.1145/286936.286955openalex-snapshot

A lambda calculus of objects with self-inflicted extension

inferred← citeshttps://doi.org/10.1145/286936.286979openalex-snapshot

Contraint-based polymorphism in Cecil

inferred← citeshttps://doi.org/10.1145/286942.286955openalex-snapshot

A lambda calculus of objects with self-inflicted extension

inferred← citeshttps://doi.org/10.1145/286942.286979openalex-snapshot

Contraint-based polymorphism in Cecil

inferred← citeshttps://doi.org/10.1145/2888392openalex-snapshot

ThisType for Object-Oriented Languages

inferred← citeshttps://doi.org/10.1145/291709.291711openalex-snapshot

Object-oriented programming

inferred← citeshttps://doi.org/10.1145/301618.301638openalex-snapshot

The design of a class mechanism for Moby

inferred← citeshttps://doi.org/10.1145/3133894openalex-snapshot

Familia: unifying interfaces, type classes, and family polymorphism

inferred← citeshttps://doi.org/10.1145/320384.320430openalex-snapshot

Zones, contracts and absorbing changes

inferred← citeshttps://doi.org/10.1145/360204.360233openalex-snapshot

Combining subsumption and binary methods

inferred← citeshttps://doi.org/10.1145/373243.360233openalex-snapshot

Combining subsumption and binary methods

inferred← citeshttps://doi.org/10.1145/592642.592643openalex-snapshot

On type systems for object-oriented database programming languages

inferred← citeshttps://doi.org/10.1145/641888.641891openalex-snapshot

PolyTOIL

inferred← citeshttps://doi.org/10.1145/967900.968198openalex-snapshot

Type-safe covariance in C++

inferred← citeshttps://doi.org/10.13140/rg.2.2.11522.20166openalex-snapshot

Object-Oriented Graph Grammars

inferred← citeshttps://doi.org/10.21236/ada436496openalex-snapshot

A Type-Preserving Compiler Infrastructure

inferred← citeshttps://doi.org/10.23638/lmcs-16(1:15)2020openalex-snapshot

Covariance and Controvariance: a fresh look at an old issue (a primer in advanced type systems for learning functional programmers)

inferred← citeshttps://doi.org/10.25561/95361openalex-snapshot

Permco – a permissive approach to covariant overriding of subclass members

inferred← citeshttps://doi.org/10.5075/epfl-thesis-2930openalex-snapshot

Programming language abstractions for extensible software components

inferred← citeshttps://doi.org/10.5281/zenodo.21691262openalex-snapshot

A Survey of Object-Oriented Programming Languages

inferred← citeshttps://doi.org/10.5381/jot.2005.4.1.c2openalex-snapshot

The Theory of Classification, Part 16: Rules of Extension and the Typing of Inheritance.

inferred← citeshttps://doi.org/10.5381/jot.2005.4.7.c1openalex-snapshot

The Theory of Classification Part 20: Modular Checking of Classtypes.

inferred← citeshttps://doi.org/10.5381/jot.2021.20.2.a4openalex-snapshot

A protoype-based approach to object evolution.

inferred← citeshttps://doi.org/10.5555/2394758.2394783openalex-snapshot

JavaGI: generalized interfaces for java

inferred← citeshttps://doi.org/10.7146/dpb.v29i549.7654openalex-snapshot

gbeta - a Language with Virtual Attributes, Block Structure, and Propagating, Dynamic Inheritance

Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.