On the public citation graph
Synthesizing object-oriented and functional design to promote re-use
0 signed · 122 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.1168openalex-snapshot
Efficient Inference of Object Types
inferredcites →https://doi.org/10.1006/inco.1996.0038openalex-snapshot
Efficient Inference of Object Types
inferredcites →https://doi.org/10.1007/3-540-57887-0_99openalex-snapshot
Extensible denotational language specifications
inferredcites →https://doi.org/10.1007/978-1-4612-6315-9_22openalex-snapshot
User-Defined Types and Procedural Data Structures as Complementary Approaches to Data Abstraction
inferredcites →https://doi.org/10.1007/bfb0019443openalex-snapshot
Object-oriented programming versus abstract data types
inferredcites →https://doi.org/10.1007/bfb0033856openalex-snapshot
DrScheme: A pedagogic programming environment for scheme
inferredcites →https://doi.org/10.1007/bfb0053390openalex-snapshot
Genericity in java with virtual types
inferredcites →https://doi.org/10.1016/s1571-0661(04)80008-2openalex-snapshot
Type Inference for Recursively Constrained Types and its Application to OOP
inferredcites →https://doi.org/10.1109/32.663999openalex-snapshot
Evolution of object behavior using context relations
inferredcites →https://doi.org/10.1109/cmpsac.1998.716629openalex-snapshot
The essence of the Visitor pattern
inferredcites →https://doi.org/10.1109/tools.1997.654700openalex-snapshot
The translator pattern-external functionality with homomorphic mappings
inferredcites →https://doi.org/10.1145/130697.130699openalex-snapshot
Report on the programming language Haskell
inferredcites →https://doi.org/10.1145/174675.178068openalex-snapshot
Building interpreters by composing monads
inferredcites →https://doi.org/10.1145/199448.199528openalex-snapshot
Monad transformers and modular interpreters
inferredcites →https://doi.org/10.1145/201059.201066openalex-snapshot
Efficient implementation of adaptive software
inferredcites →https://doi.org/10.1145/382130.382133openalex-snapshot
Revised 4 report on the algorithmic language scheme
inferredcites →https://doi.org/10.48550/arxiv.1905.13674openalex-snapshot
On the Interaction of Object-Oriented Design Patterns and Programming Languages
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.473openalex-snapshot
FC++: Functional tools for object‐oriented tasks
inferred← citeshttps://doi.org/10.1002/spe.821openalex-snapshot
An efficient and flexible toolkit for composing customized method dispatchers
inferred← citeshttps://doi.org/10.1007/3-540-36208-8_13openalex-snapshot
Multiparadigm Programming with Object-Oriented Languages
inferred← citeshttps://doi.org/10.1007/3-540-36579-6_11openalex-snapshot
Polyglot: An Extensible Compiler Framework for Java
inferred← citeshttps://doi.org/10.1007/3-540-39185-1_16openalex-snapshot
Java as a Functional Programming Language
inferred← citeshttps://doi.org/10.1007/3-540-40048-6_9openalex-snapshot
From Macros to Reusable Generative Programming
inferred← citeshttps://doi.org/10.1007/3-540-45102-1_9openalex-snapshot
A Mixin-Based, Semantics-Based Approach to Reusing Domain-Specific Programming Languages
inferred← citeshttps://doi.org/10.1007/978-3-031-21314-4_3openalex-snapshot
Deep Embedding with Class
inferred← citeshttps://doi.org/10.1007/978-3-540-24851-4_6openalex-snapshot
The Expression Problem Revisited
inferred← citeshttps://doi.org/10.1007/978-3-540-25935-0_4openalex-snapshot
DSL Implementation in MetaOCaml, Template Haskell, and C++
inferred← citeshttps://doi.org/10.1007/978-3-540-45070-2_6openalex-snapshot
Walkabout Revisited: The Runabout
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-642-03013-0_13openalex-snapshot
Modular Visitor Components
inferred← citeshttps://doi.org/10.1007/978-3-642-31057-7_2openalex-snapshot
Extensibility for the Masses
inferred← citeshttps://doi.org/10.1007/978-3-642-31057-7_3openalex-snapshot
Extensions during Software Evolution: Do Objects Meet Their Promise?
inferred← citeshttps://doi.org/10.1007/s10664-013-9298-0openalex-snapshot
Object-oriented software extensions in practice
inferred← citeshttps://doi.org/10.1007/s10990-011-9064-1openalex-snapshot
A functional approach to generic programming using adaptive traversals
inferred← citeshttps://doi.org/10.1016/s0164-1212(02)00137-1openalex-snapshot
Anomaly-free component adaptation with class overriding
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80799-0openalex-snapshot
Some Challenging Typing Issues in Object-Oriented Languages
inferred← citeshttps://doi.org/10.1109/informatics57926.2022.10083416openalex-snapshot
Towards Safer Parallel STL Usage
inferred← citeshttps://doi.org/10.1145/1018203.1018207openalex-snapshot
Modular typechecking for hierarchically extensible datatypes and functions
inferred← citeshttps://doi.org/10.1145/1159803.1159836openalex-snapshot
Extensible programming with first-class cases
inferred← citeshttps://doi.org/10.1145/1639949.1640133openalex-snapshot
On understanding data abstraction, revisited
inferred← citeshttps://doi.org/10.1145/1739230.1739238openalex-snapshot
Weaving generic programming and traversal performance
inferred← citeshttps://doi.org/10.1145/1745312.1745316openalex-snapshot
A calculus for uniform feature composition
inferred← citeshttps://doi.org/10.1145/2384616.2384686openalex-snapshot
Open and efficient type switch for C++
inferred← citeshttps://doi.org/10.1145/2398857.2384686openalex-snapshot
Open and efficient type switch for C++
inferred← citeshttps://doi.org/10.1145/2430502.2430518openalex-snapshot
Feature-oriented language families
inferred← citeshttps://doi.org/10.1145/2628136.2628138openalex-snapshot
Folding domain-specific languages
inferred← citeshttps://doi.org/10.1145/2775052.2661091openalex-snapshot
On the use of type predicates in object-oriented software
inferred← citeshttps://doi.org/10.1145/2786555.2786556openalex-snapshot
The Expression Problem, Gracefully
inferred← citeshttps://doi.org/10.1145/288195.288269openalex-snapshot
Toward a formal theory of extensible software
inferred← citeshttps://doi.org/10.1145/2889443.2889448openalex-snapshot
The expression problem, trivially!
inferred← citeshttps://doi.org/10.1145/289423.289432openalex-snapshot
Modular object-oriented programming with units and mixins
inferred← citeshttps://doi.org/10.1145/291251.289432openalex-snapshot
Modular object-oriented programming with units and mixins
inferred← citeshttps://doi.org/10.1145/307824.307881openalex-snapshot
Functional programming and the fragile base class problem
inferred← citeshttps://doi.org/10.1145/3132731openalex-snapshot
Early Evaluation of Implementation Alternatives of Composite Data Structures Toward Maintainability
inferred← citeshttps://doi.org/10.1145/320384.320391openalex-snapshot
A language for specifying recursive traversals of object structures
inferred← citeshttps://doi.org/10.1145/320385.320391openalex-snapshot
A language for specifying recursive traversals of object structures
inferred← citeshttps://doi.org/10.1145/3371098openalex-snapshot
Decomposition diversity with symmetric data and codata
inferred← citeshttps://doi.org/10.1145/3511528.3511535openalex-snapshot
High-performance symbolic-numerics via multiple dispatch
inferred← citeshttps://doi.org/10.1145/3563835.3568733openalex-snapshot
Relentless Repairability or Reckless Reuse: Whether or Not to Rebuild a Concern with Your Familiar Tools and Materials
inferred← citeshttps://doi.org/10.1145/3731302.3731306openalex-snapshot
How to and Who Should Read This Book
inferred← citeshttps://doi.org/10.1145/3731302.3731307openalex-snapshot
Modern Software Design Paradigms
inferred← citeshttps://doi.org/10.1145/3731302.3731314openalex-snapshot
Cubes: SPLs of SPLs of SPLs of SPLs…
inferred← citeshttps://doi.org/10.1145/3731302.3731315openalex-snapshot
Refactorings and Design Patterns
inferred← citeshttps://doi.org/10.1145/3731302.3731316openalex-snapshot
The X15 SPL Refactoring Engine
inferred← citeshttps://doi.org/10.1145/3731302.3731317openalex-snapshot
Searching Colossal Product Spaces
inferred← citeshttps://doi.org/10.1145/3731302.3731319openalex-snapshot
Advanced: Optimal Dataflow Programs and Dataflow SPLs
inferred← citeshttps://doi.org/10.1145/3731302.3731320openalex-snapshot
Advanced: Functor Applications
inferred← citeshttps://doi.org/10.1145/3731302.3731323openalex-snapshot
Common Symbols, Acronyms and Tool Names Used
inferred← citeshttps://doi.org/10.1145/3731302.3731325openalex-snapshot
4-Level MOFs and Bootstrapping Tools
inferred← citeshttps://doi.org/10.1145/3731302.3731328openalex-snapshot
Expression Problem Source Code
inferred← citeshttps://doi.org/10.1145/3731302.3731329openalex-snapshot
Eclipse Refactoring Preconditions
inferred← citeshttps://doi.org/10.1145/3731302.3731330openalex-snapshot
Polymorphism and Distributivity Properties of MDE Model Refactorings
inferred← citeshttps://doi.org/10.1145/3828692openalex-snapshot
Animated Pictures for Slide Presentations: From the Shallows to the Depths of a Domain-Specific Language (Functional Pearl)
inferred← citeshttps://doi.org/10.1145/507635.507665openalex-snapshot
Extensible algebraic datatypes with defaults
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.14288/1.0051292openalex-snapshot
Presentation techniques for more expressive programs
inferred← citeshttps://doi.org/10.15760/etd.1010openalex-snapshot
Type Classes and Instance Chains: A Relational Approach
inferred← citeshttps://doi.org/10.2478/aei-2023-0008openalex-snapshot
A Tag-Based Solution for Safer Parallel STL Usage
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.5075/epfl-thesis-2930openalex-snapshot
Programming language abstractions for extensible software components
inferred← citeshttps://doi.org/10.5075/epfl-thesis-3899openalex-snapshot
Object-oriented pattern matching
inferred← citeshttps://doi.org/10.5381/jot.2009.8.6.a5openalex-snapshot
Functional Programming at Work in Object- Oriented Programming.
inferred← citeshttps://doi.org/10.54195/9789493296114openalex-snapshot
Orchestrating the Internet of Things with Task-Oriented Programming
inferred← citeshttps://doi.org/10.70675/1190af43z4344z4e9fz8ff4zca482b5739edopenalex-snapshot
Etendre des interpréteurs par détournement, ou comment étendre des interpréteurs sans en modifier le code : avec une application à des analyses dynamiques pour un interpréteur de JavaScript
inferred← citeshttps://doi.org/10.7146/dpb.v29i549.7654openalex-snapshot
gbeta - a Language with Virtual Attributes, Block Structure, and Propagating, Dynamic Inheritance
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.