On the public citation graph
From classes to objects via subtyping
0 signed · 45 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1002/(sici)1096-9942(1998)4:1<27::aid-tapo3>3.0.co;2-4openalex-snapshot
Objective ML: An effective object-oriented extension to ML
inferredcites →https://doi.org/10.1002/(sici)1096-9942(1998)4:1<3::aid-tapo2>3.3.co;2-2openalex-snapshot
On the relationship between classes, objects, and data abstraction
inferredcites →https://doi.org/10.1006/inco.1996.0024openalex-snapshot
A Theory of Primitive Objects: Untyped and First-Order Systems
inferredcites →https://doi.org/10.1006/inco.1996.0038openalex-snapshot
Efficient Inference of Object Types
inferredcites →https://doi.org/10.1007/3-540-48167-2_11openalex-snapshot
Bounded Polymorphism for Extensible Objects
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-57887-0_101openalex-snapshot
A theory of primitive objects
inferredcites →https://doi.org/10.1007/3-540-60249-6_40openalex-snapshot
A delegation-based object calculus with subtyping
inferredcites →https://doi.org/10.1007/3-540-61550-4_150openalex-snapshot
A Lambda Calculus of incomplete objects
inferredcites →https://doi.org/10.1007/3-540-62688-3_28openalex-snapshot
Matching constraints for the Lambda Calculus of Objects
inferredcites →https://doi.org/10.1007/978-3-642-60858-2_22openalex-snapshot
On the relationship between classes, objects and data abstraction
inferredcites →https://doi.org/10.1007/bfb0022244openalex-snapshot
A subtyping for the Fisher-Honsell-Mitchell lambda calculus of objects
inferredcites →https://doi.org/10.1007/bfb0027786openalex-snapshot
A typed Lambda Calculus of Objects
inferredcites →https://doi.org/10.1007/bfb0030619openalex-snapshot
Subtyping constraints for incomplete objects
inferredcites →https://doi.org/10.1007/bfb0053378openalex-snapshot
An extended Theory of Primitive Objects: First order system
inferredcites →https://doi.org/10.1007/bfb0054104openalex-snapshot
An imperative, first-order calculus with object extension
inferredcites →https://doi.org/10.1016/0167-6423(95)00010-0openalex-snapshot
A theory of primitive objects
inferredcites →https://doi.org/10.1109/lics.1993.287603openalex-snapshot
A lambda calculus of objects and method specialization
inferredcites →https://doi.org/10.1145/99583.99603openalex-snapshot
A record calculus based on symmetric concatenation
inferredcites →https://doi.org/10.1184/r1/6605507openalex-snapshot
Extensible records without subsumption
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1006/inco.2001.2943openalex-snapshot
Foundations for Extensible Objects with Roles
inferred← citeshttps://doi.org/10.1007/3-540-45337-7_8openalex-snapshot
Fickle: Dynamic Object Re-classification
inferred← citeshttps://doi.org/10.1007/3-540-48167-2_11openalex-snapshot
Bounded Polymorphism for Extensible Objects
inferred← citeshttps://doi.org/10.1007/3-540-48321-7_8openalex-snapshot
Interpretations of extensible objects and types
inferred← citeshttps://doi.org/10.1007/978-3-540-40042-4_3openalex-snapshot
Extensible Objects: A Tutorial
inferred← citeshttps://doi.org/10.1007/bfb0056615openalex-snapshot
Explicit substitutions for objects and functions
inferred← citeshttps://doi.org/10.1007/s11704-012-1307-8openalex-snapshot
A graph-based generic type system for object-oriented programs
inferred← citeshttps://doi.org/10.1016/j.infsof.2013.09.002openalex-snapshot
A hybrid class- and prototype-based object model to support language-neutral structural intercession
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80065-3openalex-snapshot
A Core Calculus of Classes and Objects
inferred← citeshttps://doi.org/10.1109/tools.2000.891369openalex-snapshot
Match-O, a dialect of Eiffel with match-types
inferred← citeshttps://doi.org/10.1145/1053468.1053472openalex-snapshot
Automatic discovery of covariant read-only fields
inferred← citeshttps://doi.org/10.1145/1140335.1140353openalex-snapshot
A historic functional and object-oriented calculus
inferred← citeshttps://doi.org/10.1145/286936.286955openalex-snapshot
A lambda calculus of objects with self-inflicted extension
inferred← citeshttps://doi.org/10.1145/2983990.2984017openalex-snapshot
Type inference for static compilation of JavaScript
inferred← citeshttps://doi.org/10.1145/3022671.2984017openalex-snapshot
Type inference for static compilation of JavaScript
inferred← citeshttps://doi.org/10.1145/514952.514955openalex-snapshot
More dynamic object reclassification
inferred← citeshttps://doi.org/10.1145/566385.566389openalex-snapshot
Typed interpretations of extensible objects
inferred← citeshttps://doi.org/10.21236/ada456086openalex-snapshot
A Type Checked Prototype-Based Model with Linearity
inferred← citeshttps://doi.org/10.3233/fi-1999-38401openalex-snapshot
A Subtyping for Extensible, Incomplete Objects
inferred← citeshttps://doi.org/10.5381/jot.2021.20.2.a4openalex-snapshot
A protoype-based approach to object evolution.
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.