On the public citation graph
Type-directed flow analysis for typed intermediate languages
0 signed · 45 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-06859-7_148openalex-snapshot
Towards a theory of type structure
inferredcites →https://doi.org/10.1007/3-540-57880-3_19openalex-snapshot
Polymorphic binding-time analysis
inferredcites →https://doi.org/10.1007/3-540-60360-3_28openalex-snapshot
Natural-semantics-based abstract interpretation (preliminary version)
inferredcites →https://doi.org/10.1007/3-540-60360-3_40openalex-snapshot
Control-flow analysis and type systems
inferredcites →https://doi.org/10.1007/3-540-60360-3_41openalex-snapshot
Effective flow analysis for avoiding run-time checks
inferredcites →https://doi.org/10.1007/3-540-61055-3_27openalex-snapshot
Compiling Haskell by program transformation: A report from the trenches
inferredcites →https://doi.org/10.1007/bf01806109openalex-snapshot
Iterative type analysis and extended message splitting: Optimizing dynamically-typed object-oriented programs
inferredcites →https://doi.org/10.1016/s0049-237x(08)70843-7openalex-snapshot
Une Extension De ĽInterpretation De Gödel a ĽAnalyse, Et Son Application a ĽElimination Des Coupures Dans ĽAnalyse Et La Theorie Des Types
inferredcites →https://doi.org/10.1145/165180.165188openalex-snapshot
Type inclusion constraints and type inference
inferredcites →https://doi.org/10.1145/169701.169696openalex-snapshot
On the type structure of standard ML
inferredcites →https://doi.org/10.1145/174675.177847openalex-snapshot
Soft typing with conditional types
inferredcites →https://doi.org/10.1145/182409.182495openalex-snapshot
Set-based analysis of ML programs
inferredcites →https://doi.org/10.1145/191080.191130openalex-snapshot
Precise concrete type inference for object-oriented languages
inferredcites →https://doi.org/10.1145/199448.199475openalex-snapshot
Compiling polymorphism using intensional type analysis
inferredcites →https://doi.org/10.1145/199448.199533openalex-snapshot
A type system equivalent to flow analysis
inferredcites →https://doi.org/10.1145/199448.199536openalex-snapshot
A unified treatment of flow analysis in higher-order languages
inferredcites →https://doi.org/10.1145/236337.236371openalex-snapshot
Fast static analysis of C++ virtual function calls
inferredcites →https://doi.org/10.1145/258915.258937openalex-snapshot
Componential set-based analysis
inferredcites →https://doi.org/10.1145/258915.258939openalex-snapshot
Linear-time subtransitive control flow analysis
inferredcites →https://doi.org/10.1145/258948.258951openalex-snapshot
A modular, polyvariant and type-based closure analysis
inferredcites →https://doi.org/10.1145/263699.263745openalex-snapshot
Infinitary control flow analysis
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/3-540-45332-6_2openalex-snapshot
Program Representation Size in an Intermediate Language with Intersection and Union Types
inferred← citeshttps://doi.org/10.1007/3-540-46425-5_2openalex-snapshot
Faithful Translations between Polyvariant Flows and Polymorphic Types
inferred← citeshttps://doi.org/10.1007/3-540-46425-5_4openalex-snapshot
Flow-Directed Closure Conversion for Typed Languages
inferred← citeshttps://doi.org/10.1007/978-3-642-41582-1_8openalex-snapshot
A Type- and Control-Flow Analysis for System F
inferred← citeshttps://doi.org/10.1016/j.scico.2004.03.009openalex-snapshot
Type-safe method inlining
inferred← citeshttps://doi.org/10.1016/s0304-3975(00)00317-0openalex-snapshot
A cost-effective estimation of uncaught exceptions in Standard ML programs
inferred← citeshttps://doi.org/10.1017/s095679680100394xopenalex-snapshot
From Polyvariant flow information to intersection and union types
inferred← citeshttps://doi.org/10.1017/s0956796801004245openalex-snapshot
A calculus with polymorphic and polyvariant flow types
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.1017/s0960129502003845openalex-snapshot
Modular control-flow analysis with rank 2 intersection types
inferred← citeshttps://doi.org/10.1145/1159876.1159888openalex-snapshot
Type-sensitive control-flow analysis
inferred← citeshttps://doi.org/10.1145/2187671.2187672openalex-snapshot
Control-flow analysis of functional programs
inferred← citeshttps://doi.org/10.1145/2535838.2535873openalex-snapshot
A type-directed abstraction refinement approach to higher-order model checking
inferred← citeshttps://doi.org/10.1145/2578855.2535873openalex-snapshot
A type-directed abstraction refinement approach to higher-order model checking
inferred← citeshttps://doi.org/10.1145/268946.268963openalex-snapshot
From polyvariant flow information to intersection and union types
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/379605.379635openalex-snapshot
Type-based analysis and applications
inferred← citeshttps://doi.org/10.5287/ora-o8oygp8pnopenalex-snapshot
Intersection types and higer-order model checking
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.