On the public citation graph
Genericity in java with virtual types
0 signed · 120 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.1002/(sici)1096-9942(1997)3:2<127::aid-tapo4>3.0.co;2-sopenalex-snapshot
Design and implementation of Pep, a JavaTM just-in-time translator
inferredcites →https://doi.org/10.1002/spe.4380251303openalex-snapshot
Open issues in object-oriented programming—A scandinavian perspective
inferredcites →https://doi.org/10.1007/3-540-47910-4_21openalex-snapshot
Design Patterns: Abstraction and Reuse of Object-Oriented Design
inferredcites →https://doi.org/10.1109/2.144436openalex-snapshot
A prototype document image analysis system for technical journals
inferredcites →https://doi.org/10.1109/2.161280openalex-snapshot
Object, message, and performance: how they coexist in Self
inferredcites →https://doi.org/10.1145/191080.191109openalex-snapshot
Genericity versus inheritance reconsidered
inferredcites →https://doi.org/10.1145/217838.217847openalex-snapshot
Type feedback vs. concrete type inference
inferredcites →https://doi.org/10.1145/365813.365819openalex-snapshot
SIMULA: an ALGOL-based simulation language
inferredcites →https://doi.org/10.1145/567067.567094openalex-snapshot
Abstraction mechanisms in the BETA programming language
inferredcites →https://doi.org/10.1145/74877.74919openalex-snapshot
Virtual classes: a powerful mechanism in object-oriented programming
inferredcites →https://doi.org/10.1145/74877.74924openalex-snapshot
Interfaces for strongly-typed object-oriented programming
inferredcites →https://doi.org/10.1145/97945.97964openalex-snapshot
Strong typing of object-oriented languages revisited
inferredcites →https://doi.org/10.1145/99370.99392openalex-snapshot
F-bounded polymorphism for object-oriented programming
inferredcites →https://doi.org/10.7146/dpb.v19i326.6716openalex-snapshot
Strong typing of object-oriented languages revisited
inferredcites →https://doi.org/10.7551/mitpress/1405.001.0001openalex-snapshot
The Art of the Metaobject Protocol
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)1097-024x(20000410)30:4<449::aid-spe306>3.0.co;2-yopenalex-snapshot
Fast portable orthogonally persistent JavaTM
inferred← citeshttps://doi.org/10.1002/1096-9128(20001210)12:14<1347::aid-cpe513>3.0.co;2-nopenalex-snapshot
Synthesizing Objects
inferred← citeshttps://doi.org/10.1002/cpe.659openalex-snapshot
Spar: a set of extensions to Java for scientific computation
inferred← citeshttps://doi.org/10.1002/cpe.842openalex-snapshot
Object‐oriented programming in peer‐to‐peer systems
inferred← citeshttps://doi.org/10.1002/smr.320openalex-snapshot
K ERIS : evolving software with extensible modules
inferred← citeshttps://doi.org/10.1002/spe.473openalex-snapshot
FC++: Functional tools for object‐oriented tasks
inferred← citeshttps://doi.org/10.1006/inco.2001.3048openalex-snapshot
Type-Safe Covariant Specialization with Generalized Matching
inferred← citeshttps://doi.org/10.1007/10722581_18openalex-snapshot
Abstraction and Modularization in the BETA Programming Language
inferred← citeshttps://doi.org/10.1007/11531142_15openalex-snapshot
Efficient Multimethods in a Single Dispatch Language
inferred← citeshttps://doi.org/10.1007/3-540-39953-4_10openalex-snapshot
Two Ways to Bake Your Pizza — Translating Parameterised Types into Java
inferred← citeshttps://doi.org/10.1007/3-540-44947-7_2openalex-snapshot
Modules for Crosscutting Models
inferred← citeshttps://doi.org/10.1007/3-540-45102-1_1openalex-snapshot
Towards a Unified Programming Language
inferred← citeshttps://doi.org/10.1007/3-540-45346-6_24openalex-snapshot
Java for Scientific Computation: Prospects and Problems
inferred← citeshttps://doi.org/10.1007/3-540-46502-2_2openalex-snapshot
The Integrated Delivery of Large-Scale Data Mining: The ACSys Data Mining Project
inferred← citeshttps://doi.org/10.1007/3-540-47993-7_19openalex-snapshot
On Variance-Based Subtyping for Parametric Types
inferred← citeshttps://doi.org/10.1007/3-540-47993-7_4openalex-snapshot
Dynamically Composable Collaborations with Delegation Layers
inferred← citeshttps://doi.org/10.1007/3-540-48743-3_4openalex-snapshot
Propagating Class and Method Combination
inferred← citeshttps://doi.org/10.1007/3-540-48743-3_8openalex-snapshot
Foundations for Virtual Types
inferred← citeshttps://doi.org/10.1007/3-540-49255-0_22openalex-snapshot
A Java Architecture for Dynamic Object and Framework Customizations
inferred← citeshttps://doi.org/10.1007/3-540-69687-3_17openalex-snapshot
Implementing GoF Design Patterns in BETA
inferred← citeshttps://doi.org/10.1007/978-0-387-35578-8_4openalex-snapshot
Scalable and Object Oriented SDL State(chart)s
inferred← citeshttps://doi.org/10.1007/978-3-540-45070-2_10openalex-snapshot
A Nominal Theory of Objects with Dependent Types
inferred← citeshttps://doi.org/10.1007/978-3-540-45070-2_14openalex-snapshot
Higher-Order Hierarchies
inferred← citeshttps://doi.org/10.1007/978-3-642-14107-2_20openalex-snapshot
Modules as Objects in Newspeak
inferred← citeshttps://doi.org/10.1007/978-3-642-59984-2_6openalex-snapshot
Poor Man’s Genericity for Java
inferred← citeshttps://doi.org/10.1007/bfb0054088openalex-snapshot
Synthesizing object-oriented and functional design to promote re-use
inferred← citeshttps://doi.org/10.1007/bfb0054106openalex-snapshot
A statically safe alternative to virtual types
inferred← citeshttps://doi.org/10.1007/bfb0054107openalex-snapshot
Implementing layered designs with mixin layers
inferred← citeshttps://doi.org/10.1007/springerreference_64128openalex-snapshot
Type-based Publish/Subscribe
inferred← citeshttps://doi.org/10.1016/j.scico.2008.09.009openalex-snapshot
A language for generic programming in the large
inferred← citeshttps://doi.org/10.1016/j.scico.2020.102449openalex-snapshot
Castor: Programming with extensible generative visitors
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80066-5openalex-snapshot
Semantics-Driven Language Design:
inferred← citeshttps://doi.org/10.1109/icse.2001.919102openalex-snapshot
Comparing frameworks and layered refinement
inferred← citeshttps://doi.org/10.1109/icsr.1998.685724openalex-snapshot
Leftover curry and reheated Pizza: how functional programming nourishes software reuse
inferred← citeshttps://doi.org/10.1109/tools.1997.681870openalex-snapshot
Genja-a new proposal for parameterised types in Java
inferred← citeshttps://doi.org/10.1109/tools.2000.891369openalex-snapshot
Match-O, a dialect of Eiffel with match-types
inferred← citeshttps://doi.org/10.1145/1028976.1028986openalex-snapshot
Scalable extensibility via nested inheritance
inferred← citeshttps://doi.org/10.1145/1035292.1028986openalex-snapshot
Scalable extensibility via nested inheritance
inferred← citeshttps://doi.org/10.1145/1094811.1094813openalex-snapshot
Associated types and constraint propagation for mainstream object-oriented generics
inferred← citeshttps://doi.org/10.1145/1094811.1094815openalex-snapshot
Scalable component abstractions
inferred← citeshttps://doi.org/10.1145/1103845.1094815openalex-snapshot
Scalable component abstractions
inferred← citeshttps://doi.org/10.1145/1238844.1238854openalex-snapshot
The when, why and why not of the BETA programming language
inferred← citeshttps://doi.org/10.1145/1542476.1542508openalex-snapshot
Sharing classes between families
inferred← citeshttps://doi.org/10.1145/2162049.2162060openalex-snapshot
Adaptable generic programming with required type specifications and package templates
inferred← citeshttps://doi.org/10.1145/2594291.2594308openalex-snapshot
Getting F-bounded polymorphism into shape
inferred← citeshttps://doi.org/10.1145/263698.263720openalex-snapshot
Adding type parameterization to the Java language
inferred← citeshttps://doi.org/10.1145/2666356.2594308openalex-snapshot
Getting F-bounded polymorphism into shape
inferred← citeshttps://doi.org/10.1145/286936.286952openalex-snapshot
How to preserve the benefits of design patterns
inferred← citeshttps://doi.org/10.1145/286936.286957openalex-snapshot
Making the future safe for the past
inferred← citeshttps://doi.org/10.1145/286936.286958openalex-snapshot
Compatible genericity with run-time types for the Java programming language
inferred← citeshttps://doi.org/10.1145/286936.286979openalex-snapshot
Contraint-based polymorphism in Cecil
inferred← citeshttps://doi.org/10.1145/286942.286952openalex-snapshot
How to preserve the benefits of design patterns
inferred← citeshttps://doi.org/10.1145/286942.286957openalex-snapshot
Making the future safe for the past
inferred← citeshttps://doi.org/10.1145/286942.286958openalex-snapshot
Compatible genericity with run-time types for the Java programming language
inferred← citeshttps://doi.org/10.1145/2889443.2889457openalex-snapshot
Matriona: class nesting with parameterization in Squeak/Smalltalk
inferred← citeshttps://doi.org/10.1145/3133894openalex-snapshot
Familia: unifying interfaces, type classes, and family polymorphism
inferred← citeshttps://doi.org/10.1145/320384.320394openalex-snapshot
Semantic analysis of virtual classes and nested classes
inferred← citeshttps://doi.org/10.1145/320384.320399openalex-snapshot
Correspondence polymorphism for object-oriented languages
inferred← citeshttps://doi.org/10.1145/320385.320394openalex-snapshot
Semantic analysis of virtual classes and nested classes
inferred← citeshttps://doi.org/10.1145/351936.351944openalex-snapshot
On the role of language constructs for framework design
inferred← citeshttps://doi.org/10.1145/353171.353182openalex-snapshot
Parametric polymorphism in Java
inferred← citeshttps://doi.org/10.1145/354222.353182openalex-snapshot
Parametric polymorphism in Java
inferred← citeshttps://doi.org/10.1145/3591286openalex-snapshot
Extensible Metatheory Mechanization via Family Polymorphism
inferred← citeshttps://doi.org/10.1145/508386.508395openalex-snapshot
Using mixins to build flexible widgets
inferred← citeshttps://doi.org/10.1145/508387.508395openalex-snapshot
Using mixins to build flexible widgets
inferred← citeshttps://doi.org/10.1145/582419.582426openalex-snapshot
Integrating independent components with on-demand remodularization
inferred← citeshttps://doi.org/10.1145/583854.582426openalex-snapshot
Integrating independent components with on-demand remodularization
inferred← citeshttps://doi.org/10.1145/592642.592643openalex-snapshot
On type systems for object-oriented database programming languages
inferred← citeshttps://doi.org/10.1145/967900.968162openalex-snapshot
Adding wildcards to the Java programming language
inferred← citeshttps://doi.org/10.25561/95361openalex-snapshot
Permco – a permissive approach to covariant overriding of subclass members
inferred← citeshttps://doi.org/10.26021/2253openalex-snapshot
Improving Object Oriented Software Contracts
inferred← citeshttps://doi.org/10.26083/tuprints-00000346openalex-snapshot
Modules for Hierarchical and Crosscutting Models
inferred← citeshttps://doi.org/10.26083/tuprints-00002353openalex-snapshot
Advanced Object-Oriented Language Mechanisms for Variability Management
inferred← citeshttps://doi.org/10.26686/wgtn.17148098openalex-snapshot
Decidable Subtyping for Path Dependent Types
inferred← citeshttps://doi.org/10.26686/wgtn.17148098.v1openalex-snapshot
Decidable Subtyping for Path Dependent Types
inferred← citeshttps://doi.org/10.4018/978-1-60960-144-7.ch001openalex-snapshot
Perspectives on Patterns
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-3302openalex-snapshot
Compiling scala for the Java virtual machine
inferred← citeshttps://doi.org/10.5381/jot.2004.3.11.a5openalex-snapshot
Adding Wildcards to the Java Programming Language.
inferred← citeshttps://doi.org/10.5555/381473.381503openalex-snapshot
Comparing frameworks and layered refinement
inferred← citeshttps://doi.org/10.5555/638476.638484openalex-snapshot
Interfaces with default implementations in Java
inferred← citeshttps://doi.org/10.7146/dpb.v29i549.7654openalex-snapshot
gbeta - a Language with Virtual Attributes, Block Structure, and Propagating, Dynamic Inheritance
inferred← citeshttps://doi.org/10.7551/mitpress/1104.001.0001openalex-snapshot
Advanced Topics in Types and Programming Languages
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.