On the public citation graph
An extended Theory of Primitive Objects: First order system
0 signed · 36 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/j.1096-9942.1995.tb00016.xopenalex-snapshot
An Imperative Object Calculus
inferredcites →https://doi.org/10.1002/j.1096-9942.1995.tb00018.xopenalex-snapshot
The Development of Type Systems for Object‐Oriented Languages
inferredcites →https://doi.org/10.1006/inco.1995.1168openalex-snapshot
Efficient Inference of Object Types
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-49538-x_3openalex-snapshot
PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language
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/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.1016/0167-6423(95)00010-0openalex-snapshot
A theory of primitive objects
inferredcites →https://doi.org/10.1016/c2009-0-14341-6openalex-snapshot
The Lambda Calculus - Its Syntax and Semantics
inferredcites →https://doi.org/10.1017/s0956796800001052openalex-snapshot
Baby Modula-3 and a theory of objects
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-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/bfb0053572openalex-snapshot
From classes to objects via subtyping
inferred← citeshttps://doi.org/10.1007/bfb0054104openalex-snapshot
An imperative, first-order calculus with object extension
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80686-3openalex-snapshot
Operational Subsumption, an Ideal Model of Subtyping
inferred← citeshttps://doi.org/10.1017/s096012950600541xopenalex-snapshot
Addressed term rewriting systems: application to a typed object calculus
inferred← citeshttps://doi.org/10.1093/logcom/10.1.75openalex-snapshot
Object calculi in linear logic
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/1018203.1018206openalex-snapshot
Extensible objects without labels
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/286942.286955openalex-snapshot
A lambda calculus of objects with self-inflicted extension
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.