On the public citation graph

An imperative, first-order calculus with object extension

https://doi.org/10.1007/bfb0054104
0 signed · 57 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/(sici)1096-9942(1998)4:1<3::aid-tapo2>3.0.co;2-wopenalex-snapshot
On the relationship between classes, objects, and data abstraction
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.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.1996.0024openalex-snapshot
A Theory of Primitive Objects: Untyped and First-Order Systems
inferredcites →https://doi.org/10.1006/inco.1996.0031openalex-snapshot
Positive Subtyping
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/978-1-4419-8598-9openalex-snapshot
A Theory 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/bfb0022246openalex-snapshot
Decidability of higher-order subtyping with intersection types
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/0950-5849(92)90131-8openalex-snapshot
Eiffel: the language
inferredcites →https://doi.org/10.1017/s0956796800001040openalex-snapshot
Simple type-theoretic foundations for object-oriented programming
inferredcites →https://doi.org/10.1109/lics.1988.5111openalex-snapshot
Corrigendum: complete type interference for simple objects
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.176927openalex-snapshot
A type-theoretic approach to higher-order modules with sharing
inferredcites →https://doi.org/10.1145/174675.177838openalex-snapshot
A type system for prototyping languages
inferredcites →https://doi.org/10.1145/217838.217858openalex-snapshot
Sound polymorphic type inference for objects
inferredcites →https://doi.org/10.1145/6041.6042openalex-snapshot
On understanding types, data abstraction, and polymorphism

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.2927openalex-snapshot
Objects and Classes in Algol-Like Languages
inferred← citeshttps://doi.org/10.1006/inco.2001.2943openalex-snapshot
Foundations for Extensible Objects with Roles
inferred← citeshttps://doi.org/10.1007/11531142_14openalex-snapshot
Prototypes with Multiple Dispatch: An Expressive and Dynamic Object Model
inferred← citeshttps://doi.org/10.1007/11531142_19openalex-snapshot
Towards Type Inference for JavaScript
inferred← citeshttps://doi.org/10.1007/3-540-48118-4openalex-snapshot
FM’99 — Formal Methods
inferred← citeshttps://doi.org/10.1007/3-540-48118-4_2openalex-snapshot
A framework for defining Object-Calculi extended abstract
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-3-319-12736-1_6openalex-snapshot
Types for Flexible Objects
inferred← citeshttps://doi.org/10.1007/978-3-540-40042-4_3openalex-snapshot
Extensible Objects: A Tutorial
inferred← citeshttps://doi.org/10.1007/978-3-642-03013-0_11openalex-snapshot
Adding State and Visibility Control to Traits Using Lexical Nesting
inferred← citeshttps://doi.org/10.1007/978-3-642-14107-2_10openalex-snapshot
Recency Types for Analyzing Scripting Languages
inferred← citeshttps://doi.org/10.1007/978-3-662-48288-9_11openalex-snapshot
SJS: A Type System for JavaScript with Fixed Object Layout
inferred← citeshttps://doi.org/10.1007/bfb0053572openalex-snapshot
From classes to objects via subtyping
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.09.010openalex-snapshot
Type Checking for JavaScript
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)80418-3openalex-snapshot
A Calculus for “environment-aware” computation
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80805-3openalex-snapshot
Alias types for “environment-aware” computations
inferred← citeshttps://doi.org/10.1145/1028664.1028753openalex-snapshot
A core calculus of mixins and incomplete objects
inferred← citeshttps://doi.org/10.1145/1527202.1527215openalex-snapshot
Delegation
inferred← citeshttps://doi.org/10.1145/2047849.2047855openalex-snapshot
Polymorphic type inference for scripting languages with object extensions
inferred← citeshttps://doi.org/10.1145/2384616.2384659openalex-snapshot
Dependent types for JavaScript
inferred← citeshttps://doi.org/10.1145/2786536.2786540openalex-snapshot
Fᴏᴏ
inferred← citeshttps://doi.org/10.1145/286936.286955openalex-snapshot
A lambda calculus of objects with self-inflicted extension
inferred← citeshttps://doi.org/10.1145/320384.320395openalex-snapshot
Featherweight Java
inferred← citeshttps://doi.org/10.1145/353171.353192openalex-snapshot
An efficient class and object encoding
inferred← citeshttps://doi.org/10.1145/360204.360233openalex-snapshot
Combining subsumption and binary methods
inferred← citeshttps://doi.org/10.1145/503502.503505openalex-snapshot
Featherweight Java
inferred← citeshttps://doi.org/10.17760/d20213172openalex-snapshot
The design, implementation, and evaluation of a gradual type system for dynamic class composition
inferred← citeshttps://doi.org/10.21236/ada456086openalex-snapshot
A Type Checked Prototype-Based Model with Linearity
inferred← citeshttps://doi.org/10.3233/fun-2008-881-204openalex-snapshot
Alias Types and Effects for "Environment-aware" Computations
inferred← citeshttps://doi.org/10.5281/zenodo.26401openalex-snapshot
Revisão Sistemática Da Tribo Stegomyrmicini, Com A Descrição De Uma Nova Espécie (Hymenoptera, Formicidae).
inferred← citeshttps://doi.org/10.5381/jot.2021.20.2.a4openalex-snapshot
A protoype-based approach to object evolution.
showing the first 34 of 35 · page through all 35
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.