On the public citation graph
Multi-methods in a statically-typed programming language
0 signed · 63 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.1093/comjnl/32.4.305openalex-snapshot
A Proposal for Making Eiffel Type-safe
inferredcites →https://doi.org/10.1109/ms.1987.231776openalex-snapshot
Using Types and Inheritance in Object-Oriented Programming
inferredcites →https://doi.org/10.1145/365813.365819openalex-snapshot
SIMULA: an ALGOL-based simulation language
inferredcites →https://doi.org/10.1145/6041.6042openalex-snapshot
On understanding types, data abstraction, and polymorphism
inferredcites →https://doi.org/10.1145/74877.74924openalex-snapshot
Interfaces for strongly-typed object-oriented programming
inferredcites →https://doi.org/10.1145/74878.74924openalex-snapshot
Interfaces for strongly-typed object-oriented programming
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/j.1096-9942.1995.tb00005.xopenalex-snapshot
Multiple‐Dispatching Based on Automata
inferred← citeshttps://doi.org/10.1006/inco.2002.3103openalex-snapshot
Modular Statically Typed Multimethods
inferred← citeshttps://doi.org/10.1007/11531142_15openalex-snapshot
Efficient Multimethods in a Single Dispatch Language
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-48743-3_13openalex-snapshot
Modular Statically Typed Multimethods
inferred← citeshttps://doi.org/10.1007/3-540-49538-x_6openalex-snapshot
Objects with Multiple Most Specific Classes
inferred← citeshttps://doi.org/10.1007/3-540-63237-9_16openalex-snapshot
Introducing CLOVER: An object-oriented functional language
inferred← citeshttps://doi.org/10.1007/3-540-63699-4_21openalex-snapshot
Associations and roles in object-oriented modeling
inferred← citeshttps://doi.org/10.1007/978-1-4471-3452-7_18openalex-snapshot
An Object-Oriented Data Model Supporting Multi-Methods, Multiple Inheritance, and Static Type Checking: A Specification in Z
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-70592-5_11openalex-snapshot
UpgradeJ: Incremental Typechecking for Class Upgrades
inferred← citeshttps://doi.org/10.1007/bfb0013502openalex-snapshot
Extending the object-orientedness of Ada 95
inferred← citeshttps://doi.org/10.1007/bfb0052194openalex-snapshot
Efficient dynamic look-up strategy for multi-methods
inferred← citeshttps://doi.org/10.1007/bfb0053029openalex-snapshot
Object-oriented multi-methods in Cecil
inferred← citeshttps://doi.org/10.1007/bfb0053054openalex-snapshot
Type-safe compilation of covariant specialization: A practical case
inferred← citeshttps://doi.org/10.1007/bfb0053061openalex-snapshot
Supporting explicit disambiguation of multi-methods
inferred← citeshttps://doi.org/10.1007/bfb0054092openalex-snapshot
Predicate dispatching: A unified theory of dispatch
inferred← citeshttps://doi.org/10.1007/s007780050020openalex-snapshot
Type-safe relaxing of schema consistency rules for flexible modelling in OODBMS
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.09.011openalex-snapshot
Translating Double Dispatch into Single Dispatch
inferred← citeshttps://doi.org/10.1016/j.scico.2009.01.007openalex-snapshot
Featherweight Java with dynamic and static overloading
inferred← citeshttps://doi.org/10.1016/j.scico.2012.11.003openalex-snapshot
On flexible dynamic trait replacement for Java -like languages
inferred← citeshttps://doi.org/10.1016/s0169-023x(97)00037-2openalex-snapshot
Modeling collaborative behavior using cooperation contracts
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.1051/ita/2009008openalex-snapshot
Dynamic overloading with copy semantics in object-oriented languages: a formal account
inferred← citeshttps://doi.org/10.1109/inmic.2004.1492987openalex-snapshot
Inheritance and subtyping methods, modifications and analytical quantification
inferred← citeshttps://doi.org/10.1134/s0361768807050027openalex-snapshot
Object-oriented description of graph data structures
inferred← citeshttps://doi.org/10.1145/1094855.1094967openalex-snapshot
Using predicate fields in a highly flexible industrial control system
inferred← citeshttps://doi.org/10.1145/117954.117963openalex-snapshot
Static type checking of multi-methods
inferred← citeshttps://doi.org/10.1145/118014.117963openalex-snapshot
Static type checking of multi-methods
inferred← citeshttps://doi.org/10.1145/1294325.1294337openalex-snapshot
Featherweight Java with multi-methods
inferred← citeshttps://doi.org/10.1145/1449764.1449808openalex-snapshot
Multiple dispatch in practice
inferred← citeshttps://doi.org/10.1145/191080.191083openalex-snapshot
Typechecking and modules for multi-methods
inferred← citeshttps://doi.org/10.1145/191080.191117openalex-snapshot
Optimizing multi-method dispatch using compressed dispatch tables
inferred← citeshttps://doi.org/10.1145/1922649.1922655openalex-snapshot
Implementing statically typed object-oriented programming languages
inferred← citeshttps://doi.org/10.1145/217838.217858openalex-snapshot
Sound polymorphic type inference for objects
inferred← citeshttps://doi.org/10.1145/218570.218571openalex-snapshot
Typechecking and modules for multimethods
inferred← citeshttps://doi.org/10.1145/271510.271521openalex-snapshot
Fast algorithms for compressed multimethod dispatch table generation
inferred← citeshttps://doi.org/10.1145/320384.320407openalex-snapshot
Efficient multiple and predicated dispatching
inferred← citeshttps://doi.org/10.1145/582419.582434openalex-snapshot
Fast algorithm for creating space efficient dispatching tables with application to multi-dispatching
inferred← citeshttps://doi.org/10.13140/rg.2.1.1925.3926openalex-snapshot
Programming Language Support for Separation of Concerns
inferred← citeshttps://doi.org/10.21236/ada605048openalex-snapshot
Type-Safe Compilation of Covariant Specialization: A Practical Case
inferred← citeshttps://doi.org/10.24442/boristheses.995openalex-snapshot
Run-time Variability with First-class Contexts
inferred← citeshttps://doi.org/10.26686/wgtn.16959112.v1openalex-snapshot
Multiple Dispatch in Practice
inferred← citeshttps://doi.org/10.31274/rtd-20201118-102openalex-snapshot
MultiJava: design, implementation, and evaluation of a Java-compatible language supporting modular open classes and symmetric multiple dispatch
inferred← citeshttps://doi.org/10.3311/pp.ee.2007-3-4.03openalex-snapshot
Objects and polymorphism in system programming languages: a new approach
inferred← citeshttps://doi.org/10.7146/dpb.v20i357.6587openalex-snapshot
Types, Inheritance and Assignments: A collection of position papers from the ECOOP '91 workshop W5 (Geneva, Switzerland, 1991, 15-19 July)
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.