On the public citation graph
Predicate dispatching: A unified theory of dispatch
0 signed · 123 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.1007/bfb0052194openalex-snapshot
Efficient dynamic look-up strategy for multi-methods
inferredcites →https://doi.org/10.1007/bfb0053029openalex-snapshot
Object-oriented multi-methods in Cecil
inferredcites →https://doi.org/10.1007/bfb0057029openalex-snapshot
Multi-methods in a statically-typed programming language
inferredcites →https://doi.org/10.1145/130697.130699openalex-snapshot
Report on the programming language Haskell
inferredcites →https://doi.org/10.1145/191080.191117openalex-snapshot
Optimizing multi-method dispatch using compressed dispatch tables
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/28697.28700openalex-snapshot
CommonLoops: merging Lisp and object-oriented programming
inferredcites →https://doi.org/10.1145/41625.41653openalex-snapshot
Views: a way for pattern matching to cohabit with data abstraction
inferredcites →https://doi.org/10.1145/75277.75286openalex-snapshot
Polymorphic unification and ML typing
inferredcites →https://doi.org/10.1145/960112.28700openalex-snapshot
CommonLoops: merging Lisp and object-oriented programming
inferredcites →https://doi.org/10.7551/mitpress/2319.001.0001openalex-snapshot
The Definition of Standard ML
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/spe.821openalex-snapshot
An efficient and flexible toolkit for composing customized method dispatchers
inferred← citeshttps://doi.org/10.1006/inco.2002.3103openalex-snapshot
Modular Statically Typed Multimethods
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/11785477_15openalex-snapshot
SuperGlue: Component Programming with Object-Oriented Signals
inferred← citeshttps://doi.org/10.1007/3-540-36388-2_9openalex-snapshot
JMatch: Iterable Abstract Pattern Matching for Java
inferred← citeshttps://doi.org/10.1007/3-540-45337-7_7openalex-snapshot
CCC: User-Defined Object Structure in C
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-45446-2_14openalex-snapshot
An Effective Translation of Fickle into Java
inferred← citeshttps://doi.org/10.1007/3-540-48743-3_13openalex-snapshot
Modular Statically Typed Multimethods
inferred← citeshttps://doi.org/10.1007/978-1-4471-0895-5_27openalex-snapshot
Subjective Method Interpretation in Object-Oriented Modeling
inferred← citeshttps://doi.org/10.1007/978-3-319-89884-1_3openalex-snapshot
Dualizing Generalized Algebraic Data Types by Matrix Transposition
inferred← citeshttps://doi.org/10.1007/978-3-540-72883-2_1openalex-snapshot
The Context-Dependent Role Model
inferred← citeshttps://doi.org/10.1007/978-3-540-73589-2_14openalex-snapshot
Matching Objects with Patterns
inferred← citeshttps://doi.org/10.1007/978-3-540-73589-2_24openalex-snapshot
A Machine Model for Aspect-Oriented Programming
inferred← citeshttps://doi.org/10.1007/978-3-540-75209-7_13openalex-snapshot
Piecewise Modelling with State Subtypes
inferred← citeshttps://doi.org/10.1007/978-3-642-03013-0_13openalex-snapshot
Modular Visitor Components
inferred← citeshttps://doi.org/10.1007/978-3-642-14046-4_5openalex-snapshot
Predicated Generic Functions
inferred← citeshttps://doi.org/10.1007/978-3-642-34781-8_1openalex-snapshot
A Role-Based Language for Collaborative Robot Applications
inferred← citeshttps://doi.org/10.1007/978-3-642-55099-7_3openalex-snapshot
Method Slots: Supporting Methods, Events, and Advices by a Single Language Construct
inferred← citeshttps://doi.org/10.1007/bfb0054083openalex-snapshot
ECOOP’98 — Object-Oriented Programming
inferred← citeshttps://doi.org/10.1016/j.cl.2008.05.005openalex-snapshot
Ferret: Programming language support for multiple dynamic classification
inferred← citeshttps://doi.org/10.1016/j.jss.2012.03.024openalex-snapshot
Context-oriented programming: A software engineering perspective
inferred← citeshttps://doi.org/10.1016/j.scico.2014.08.003openalex-snapshot
EVL: A framework for multi-methods in C++
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)00320-2openalex-snapshot
A type preserving translation of ickle into Java
inferred← citeshttps://doi.org/10.1109/access.2021.3128575openalex-snapshot
Pattern Matching Based on Object Graphs
inferred← citeshttps://doi.org/10.1109/ase.2000.873656openalex-snapshot
A declarative approach for designing and developing adaptive components
inferred← citeshttps://doi.org/10.1109/icsa47634.2020.00014openalex-snapshot
Unlimited Rulebook: a Reference Architecture for Economy Mechanics in Digital Games
inferred← citeshttps://doi.org/10.1109/icsea.2007.34openalex-snapshot
From Signatures of Algebraic Specifications to Collections of Object-Oriented Class Signatures
inferred← citeshttps://doi.org/10.1109/tools.1999.779018openalex-snapshot
Towards integration of state machines and object-oriented languages
inferred← citeshttps://doi.org/10.1145/1018203.1018207openalex-snapshot
Modular typechecking for hierarchically extensible datatypes and functions
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/1133255.1134014openalex-snapshot
Algorithm specialization in generic programming
inferred← citeshttps://doi.org/10.1145/1133981.1134014openalex-snapshot
Algorithm specialization in generic programming
inferred← citeshttps://doi.org/10.1145/1159861.1159875openalex-snapshot
An object-oriented approach to datatype-generic programming
inferred← citeshttps://doi.org/10.1145/1216374.1216381openalex-snapshot
A provenly correct translation of Fickle into Java
inferred← citeshttps://doi.org/10.1145/1394496.1394497openalex-snapshot
Redundancy-free residual dispatch
inferred← citeshttps://doi.org/10.1145/1449764.1449799openalex-snapshot
The visitor pattern as a reusable, generic, type-safe component
inferred← citeshttps://doi.org/10.1145/1462166.1462168openalex-snapshot
Expressive and modular predicate dispatch for Java
inferred← citeshttps://doi.org/10.1145/1507504.1507506openalex-snapshot
Predicate dispatch for aspect-oriented programming
inferred← citeshttps://doi.org/10.1145/1739230.1739248openalex-snapshot
A model for composable composition operators
inferred← citeshttps://doi.org/10.1145/1869459.1869503openalex-snapshot
Mostly modular compilation of crosscutting concerns by contextual predicate dispatch
inferred← citeshttps://doi.org/10.1145/2068776.2068779openalex-snapshot
An association-based model of dynamic behaviour
inferred← citeshttps://doi.org/10.1145/2089172.2089176openalex-snapshot
Reuse of continuation-based control-flow abstractions
inferred← citeshttps://doi.org/10.1145/2095050.2095101openalex-snapshot
ALIA4J's [(just-in-time) compile-time] MOP for advanced dispatching
inferred← citeshttps://doi.org/10.1145/2384577.2384582openalex-snapshot
Robust scripting via patterns
inferred← citeshttps://doi.org/10.1145/2384592.2384600openalex-snapshot
Interruptible context-dependent executions
inferred← citeshttps://doi.org/10.1145/2384616.2384673openalex-snapshot
A variability-aware module system
inferred← citeshttps://doi.org/10.1145/2384616.2384686openalex-snapshot
Open and efficient type switch for C++
inferred← citeshttps://doi.org/10.1145/2457392.2457398openalex-snapshot
Efficient language implementation with ALIA4J and EMFText
inferred← citeshttps://doi.org/10.1145/2491956.2462194openalex-snapshot
Reconciling exhaustive pattern matching with objects
inferred← citeshttps://doi.org/10.1145/2658761.2658776openalex-snapshot
A domain-specific language for building self-optimizing AST interpreters
inferred← citeshttps://doi.org/10.1145/286936.286977openalex-snapshot
Multiple dispatch as dispatch on Tuples
inferred← citeshttps://doi.org/10.1145/2983990.2984037openalex-snapshot
First-class effect reflection for effect-guided programming
inferred← citeshttps://doi.org/10.1145/320384.320407openalex-snapshot
Efficient multiple and predicated dispatching
inferred← citeshttps://doi.org/10.1145/325694.325731openalex-snapshot
A debate on language and tool support for design patterns
inferred← citeshttps://doi.org/10.1145/508386.508393openalex-snapshot
Incremental programming with extensible decisions
inferred← citeshttps://doi.org/10.1145/514952.514955openalex-snapshot
More dynamic object reclassification
inferred← citeshttps://doi.org/10.1145/563857.563823openalex-snapshot
Metaphor and metonymy in object-oriented design patterns
inferred← citeshttps://doi.org/10.1145/581478.581489openalex-snapshot
Modular typechecking for hierarchically extensible datatypes and functions
inferred← citeshttps://doi.org/10.1145/583852.581489openalex-snapshot
Modular typechecking for hierarchically extensible datatypes and functions
inferred← citeshttps://doi.org/10.1145/643603.643619openalex-snapshot
Aspects and polymorphism in AspectJ
inferred← citeshttps://doi.org/10.11606/t.45.2021.tde-22122021-205515openalex-snapshot
The Unlimited Rulebook: architecting the economy mechanics of games
inferred← citeshttps://doi.org/10.1207/s15327051hci1304_2openalex-snapshot
On "Technomethodology": Foundational Relationships Between Ethnomethodology and System Design
inferred← citeshttps://doi.org/10.13140/rg.2.1.1925.3926openalex-snapshot
Programming Language Support for Separation of Concerns
inferred← citeshttps://doi.org/10.14288/1.0051659openalex-snapshot
Essential software structure through implicit context
inferred← citeshttps://doi.org/10.17760/d20467207openalex-snapshot
Just in time: assumptions and speculations
inferred← citeshttps://doi.org/10.21236/ada456086openalex-snapshot
A Type Checked Prototype-Based Model with Linearity
inferred← citeshttps://doi.org/10.2197/ipsjtrans.6.1openalex-snapshot
Introducing Composite Layers in EventCJ
inferred← citeshttps://doi.org/10.24442/boristheses.995openalex-snapshot
Run-time Variability with First-class Contexts
inferred← citeshttps://doi.org/10.26083/tuprints-00002353openalex-snapshot
Advanced Object-Oriented Language Mechanisms for Variability Management
inferred← citeshttps://doi.org/10.31274/etd-180810-4603openalex-snapshot
Formal foundations for hybrid effect analysis
inferred← citeshttps://doi.org/10.3166/objet.12.2-3.9-39openalex-snapshot
A Definition, Overview and Taxonomy of Generic Aspect Languages
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.5075/epfl-thesis-3899openalex-snapshot
Object-oriented pattern matching
inferred← citeshttps://doi.org/10.5381/jot.2005.4.10.a4openalex-snapshot
Global and Local Virtual Functions in C++.
inferred← citeshttps://doi.org/10.5381/jot.2007.6.3.a3openalex-snapshot
Open Types and Bidirectional Relationships as an Alternative to Classes and Inheritance.
inferred← citeshttps://doi.org/10.5555/2394101.2394119openalex-snapshot
Piecewise modelling with state subtypes
inferred← citeshttps://doi.org/10.5555/2394758.2394792openalex-snapshot
A machine model for aspect-oriented programming
inferred← citeshttps://doi.org/10.70675/272799d0z5953z4d08za898zf1e4d603f7c3openalex-snapshot
Boostrap-Based Language Development : Turning an existing VM into a polygot VM
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.