On the public citation graph
Making type inference practical
0 signed · 87 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/3-540-13346-1_2openalex-snapshot
A semantics of multiple inheritance
inferredcites →https://doi.org/10.1007/3-540-53982-4_24openalex-snapshot
Type inference with inequalities
inferredcites →https://doi.org/10.1007/3-540-54415-1_64openalex-snapshot
Wrapper semantics of an object-oriented programming language with state
inferredcites →https://doi.org/10.1007/bfb0057013openalex-snapshot
Optimizing dynamically-typed object-oriented languages with polymorphic inline caches
inferredcites →https://doi.org/10.1016/0167-6423(89)90034-8openalex-snapshot
Object-oriented software construction
inferredcites →https://doi.org/10.1016/0890-5401(88)90007-7openalex-snapshot
A semantics of multiple inheritance
inferredcites →https://doi.org/10.1109/lics.1989.39162openalex-snapshot
Type inference for record concatenation and multiple inheritance
inferredcites →https://doi.org/10.1145/582153.582168openalex-snapshot
A type declaration and inference system for smalltalk
inferredcites →https://doi.org/10.1145/6041.6042openalex-snapshot
On understanding types, data abstraction, and polymorphism
inferredcites →https://doi.org/10.1145/62058.62060openalex-snapshot
Type theories and object-oriented programmimg
inferredcites →https://doi.org/10.1145/62678.62721openalex-snapshot
Objects as closures: abstract semantics of object-oriented languages
inferredcites →https://doi.org/10.1145/73560.73567openalex-snapshot
Inheritance in smalltalk-80: a denotational definition
inferredcites →https://doi.org/10.1145/74877.74922openalex-snapshot
A denotational semantics of inheritance and its correctness
inferredcites →https://doi.org/10.1145/75277.75284openalex-snapshot
Type checking records and variants in a natural extension of ML
inferredcites →https://doi.org/10.22028/d291-26148openalex-snapshot
Polymorphic type inference for a simple object oriented programming language with state
inferredcites →https://doi.org/10.3233/fi-1987-10202openalex-snapshot
A Simple Algorithm and Proof for Type Inference1
inferredcites →https://doi.org/10.7146/dpb.v16i229.7578openalex-snapshot
The BETA Programming Language
inferredcites →https://doi.org/10.7146/dpb.v18i284.6662openalex-snapshot
A Denotational Semantics af Inheritance and its Correctness
inferredcites →https://doi.org/10.7146/dpb.v20i355.6585openalex-snapshot
Static Typing for Object-Oriented Programming
inferredcites →https://doi.org/10.7146/dpb.v21i385.6618openalex-snapshot
Making Type Inference Practical
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.tb00017.xopenalex-snapshot
Dynamic versus Static Optimization Techniques for Object‐Oriented Languages
inferred← citeshttps://doi.org/10.1002/spe.4380250903openalex-snapshot
Type inference of SELF: Analysis of objects with dynamic and multiple inheritance
inferred← citeshttps://doi.org/10.1006/jcss.2001.1750openalex-snapshot
Refinements of Complexity Results on Type Consistency for Object-Oriented Databases
inferred← citeshttps://doi.org/10.1007/11531142_19openalex-snapshot
Towards Type Inference for JavaScript
inferred← citeshttps://doi.org/10.1007/3-540-36579-6_10openalex-snapshot
Dimensions of Precision in Reference Analysis of Object-Oriented Programming Languages
inferred← citeshttps://doi.org/10.1007/3-540-44978-7_11openalex-snapshot
Partial Evaluation for Class-Based Object-Oriented Languages
inferred← citeshttps://doi.org/10.1007/3-540-49538-x_13openalex-snapshot
Message Dispatch on Pipelined Processors
inferred← citeshttps://doi.org/10.1007/3-540-49538-x_2openalex-snapshot
The Cartesian Product Algorithm
inferred← citeshttps://doi.org/10.1007/3-540-49538-x_5openalex-snapshot
Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis
inferred← citeshttps://doi.org/10.1007/3-540-57307-0_34openalex-snapshot
Towards the Implementation of a Uniform Object Model
inferred← citeshttps://doi.org/10.1007/3-540-57840-4_29openalex-snapshot
Type test elimination using typeflow analysis
inferred← citeshttps://doi.org/10.1007/3-540-57887-0_120openalex-snapshot
A complete type inference system for subtyped recursive types
inferred← citeshttps://doi.org/10.1007/3-540-58485-4_34openalex-snapshot
Constraint-based type inference and parametric polymorphism
inferred← citeshttps://doi.org/10.1007/3-540-62222-5_57openalex-snapshot
Type-consistency problems for queries in object-oriented databases
inferred← citeshttps://doi.org/10.1007/978-1-4615-2315-4_22openalex-snapshot
An Improved Type-Inference Algorithm to Expose Parallelism in Object-Oriented Programs
inferred← citeshttps://doi.org/10.1007/978-3-540-78791-4_16openalex-snapshot
Java Bytecode Verification for @NonNull Types
inferred← citeshttps://doi.org/10.1007/978-3-540-78791-4_4openalex-snapshot
IDE Dataflow Analysis in the Presence of Large Object-Oriented Libraries
inferred← citeshttps://doi.org/10.1007/978-3-642-03013-0_2openalex-snapshot
Coinductive Type Systems for Object-Oriented Languages
inferred← citeshttps://doi.org/10.1007/978-3-642-60831-5_79openalex-snapshot
Typanalyse in ungetypten objekt-orientierten Sprachen
inferred← citeshttps://doi.org/10.1007/978-3-663-14540-0_7openalex-snapshot
Applying Object-Oriented Metrics to Enhance Software Quality
inferred← citeshttps://doi.org/10.1007/978-981-99-8311-7_2openalex-snapshot
What Types Are Needed for Typing Dynamic Objects? A Python-Based Empirical Study
inferred← citeshttps://doi.org/10.1007/bf03037301openalex-snapshot
Static analysis of Linear Logic programming
inferred← citeshttps://doi.org/10.1007/bfb0014224openalex-snapshot
Type directed cloning for Object-Oriented programs
inferred← citeshttps://doi.org/10.1016/0167-6423(94)00006-9openalex-snapshot
Interprocedural type propagation for object-oriented languages
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.01.024openalex-snapshot
Abstract Interpretation and Object-oriented Programming: Quo Vadis?
inferred← citeshttps://doi.org/10.1016/j.scico.2010.10.004openalex-snapshot
Formalisation and implementation of an algorithm for bytecode verification of @NonNull types
inferred← citeshttps://doi.org/10.1016/s1477-8424(03)00012-5openalex-snapshot
Bidirectional data flow analysis for type inferencing
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80008-2openalex-snapshot
Type Inference for Recursively Constrained Types and its Application to OOP
inferred← citeshttps://doi.org/10.1017/s0956796818000138openalex-snapshot
Abstract allocation as a unified approach to polyvariance in control-flow analyses
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/2011009openalex-snapshot
Idealized coinductive type systems for imperative object-oriented programs
inferred← citeshttps://doi.org/10.1109/2.161280openalex-snapshot
Object, message, and performance: how they coexist in Self
inferred← citeshttps://doi.org/10.1109/tools.1997.654711openalex-snapshot
SOLAT-a Simple Object-Oriented Language Analyzing Tool
inferred← citeshttps://doi.org/10.1145/1044834.1044835openalex-snapshot
Parameterized object sensitivity for points-to analysis for Java
inferred← citeshttps://doi.org/10.1145/1146841.1146845openalex-snapshot
Dynamic data polyvariance using source-tagged classes
inferred← citeshttps://doi.org/10.1145/1168054.1168079openalex-snapshot
Typeless programming in Java 5.0
inferred← citeshttps://doi.org/10.1145/1294325.1294336openalex-snapshot
Typeless programming in Java 5.0 with wildcards
inferred← citeshttps://doi.org/10.1145/1449764.1449802openalex-snapshot
Efficient local type inference
inferred← citeshttps://doi.org/10.1145/191080.191130openalex-snapshot
Precise concrete type inference for object-oriented languages
inferred← citeshttps://doi.org/10.1145/1924520.1924521openalex-snapshot
Complete coinductive subtyping for abstract compilation of object-oriented languages
inferred← citeshttps://doi.org/10.1145/2047849.2047855openalex-snapshot
Polymorphic type inference for scripting languages with object extensions
inferred← citeshttps://doi.org/10.1145/217838.217847openalex-snapshot
Type feedback vs. concrete type inference
inferred← citeshttps://doi.org/10.1145/217838.217858openalex-snapshot
Sound polymorphic type inference for objects
inferred← citeshttps://doi.org/10.1145/2187671.2187672openalex-snapshot
Control-flow analysis of functional programs
inferred← citeshttps://doi.org/10.1145/224170.224297openalex-snapshot
Efficient support of location transparency in concurrent object-oriented programming languages
inferred← citeshttps://doi.org/10.1145/2254064.2254094openalex-snapshot
Fast and precise hybrid type inference for JavaScript
inferred← citeshttps://doi.org/10.1145/236337.236371openalex-snapshot
Fast static analysis of C++ virtual function calls
inferred← citeshttps://doi.org/10.1145/2489804.2489810openalex-snapshot
A calculus for constraint-based flow typing
inferred← citeshttps://doi.org/10.1145/263698.264352openalex-snapshot
Call graph construction in object-oriented languages
inferred← citeshttps://doi.org/10.1145/268946.268965openalex-snapshot
Fast interprocedural class analysis
inferred← citeshttps://doi.org/10.1145/2951913.2951936openalex-snapshot
Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis
inferred← citeshttps://doi.org/10.1145/353171.353190openalex-snapshot
Scalable propagation-based call graph construction algorithms
inferred← citeshttps://doi.org/10.1145/3694848.3694852openalex-snapshot
Towards Verification of a Denotational Semantics of Inheritance
inferred← citeshttps://doi.org/10.1145/504282.504297openalex-snapshot
Dynamic optimistic interprocedural analysis
inferred← citeshttps://doi.org/10.1145/506315.506316openalex-snapshot
A framework for call graph construction algorithms
inferred← citeshttps://doi.org/10.1145/566171.566174openalex-snapshot
Parameterized object sensitivity for points-to and side-effect analyses for Java
inferred← citeshttps://doi.org/10.2514/6.1993-4505openalex-snapshot
The Concert system - Compiler and runtime technology for efficient concurrent object-oriented programming
inferred← citeshttps://doi.org/10.4204/eptcs.25.20openalex-snapshot
Coinductive subtyping for abstract compilation of object-oriented languages into Horn formulas
inferred← citeshttps://doi.org/10.48550/arxiv.1102.3420openalex-snapshot
Generic Programming of Reusable, High Performance Container Types using Automatic Type Hierarchy Inference and Bidirectional Antichain Typing
inferred← citeshttps://doi.org/10.7146/dpb.v22i457.6930openalex-snapshot
Design, Analysis and Reasoning about Tools: Abstracts from the Third Workshop
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.