On the public citation graph
Type-safe compilation of covariant specialization: A practical case
0 signed · 40 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.1006/inco.1995.1033openalex-snapshot
A Calculus for Overloaded Functions with Subtyping
inferredcites →https://doi.org/10.1007/3-540-47891-4_15openalex-snapshot
The Common Lisp Object System: An Overview
inferredcites →https://doi.org/10.1007/978-1-4612-4138-6openalex-snapshot
Object-Oriented Programming A Unified Foundation
inferredcites →https://doi.org/10.1007/bfb0019443openalex-snapshot
Object-oriented programming versus abstract data types
inferredcites →https://doi.org/10.1007/bfb0057029openalex-snapshot
Multi-methods in a statically-typed programming language
inferredcites →https://doi.org/10.1007/s007780050020openalex-snapshot
Type-safe relaxing of schema consistency rules for flexible modelling in OODBMS
inferredcites →https://doi.org/10.1016/0304-3975(95)00071-4openalex-snapshot
A meta-language for typed object-oriented languages
inferredcites →https://doi.org/10.1016/0890-5401(88)90007-7openalex-snapshot
A semantics of multiple inheritance
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/117954.117963openalex-snapshot
Static type checking of multi-methods
inferredcites →https://doi.org/10.1145/118014.117963openalex-snapshot
Static type checking of multi-methods
inferredcites →https://doi.org/10.1145/130283.130289openalex-snapshot
The O2 object-oriented database system
inferredcites →https://doi.org/10.1145/191081.191083openalex-snapshot
Typechecking and modules for multi-methods
inferredcites →https://doi.org/10.1145/218570.218571openalex-snapshot
Typechecking and modules for multimethods
inferredcites →https://doi.org/10.1145/249094.249111openalex-snapshot
A note on covariance and contravariance unification
inferredcites →https://doi.org/10.1145/960112.28706openalex-snapshot
Object structure in the Emerald system
inferredcites →https://doi.org/10.1145/960112.28732openalex-snapshot
A simple technique for handling multiple polymorphism
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/(sici)1096-9942(199901/03)5:1<3::aid-tapo2>3.0.co;2-topenalex-snapshot
Is the Java type system sound?
inferred← citeshttps://doi.org/10.1006/inco.2001.3048openalex-snapshot
Type-Safe Covariant Specialization with Generalized Matching
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-48309-8_53openalex-snapshot
Viewpoints Handling in an Object Model with Criterium-Based Classes
inferred← citeshttps://doi.org/10.1007/3-540-48737-9_2openalex-snapshot
Describing the Semantics of Java and Proving Type Soundness
inferred← citeshttps://doi.org/10.1007/3-540-64823-2_6openalex-snapshot
Constrained matching is type safe
inferred← citeshttps://doi.org/10.1007/978-3-642-38592-6_6openalex-snapshot
Semantic Subtyping for Objects and Classes
inferred← citeshttps://doi.org/10.1007/bfb0053374openalex-snapshot
Static integrity constraint management in object-oriented database programming languages via predicate transformers
inferred← citeshttps://doi.org/10.1007/bfb0100993openalex-snapshot
Static management of integrity in object-oriented databases: Design and implementation
inferred← citeshttps://doi.org/10.1023/a:1015632129995openalex-snapshot
An Operational Approach to the Semantics of Classes: Application to Type Checking
inferred← citeshttps://doi.org/10.1093/comjnl/bxw080openalex-snapshot
Semantic Subtyping for Objects and Classes
inferred← citeshttps://doi.org/10.1145/1922649.1922655openalex-snapshot
Implementing statically typed object-oriented programming languages
inferred← citeshttps://doi.org/10.1145/592642.592643openalex-snapshot
On type systems for object-oriented database programming languages
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.26021/2253openalex-snapshot
Improving Object Oriented Software Contracts
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.