On the public citation graph
Fast and precise type checking for JavaScript
0 signed · 81 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.1994.1093openalex-snapshot
A Syntactic Approach to Type Soundness
inferredcites →https://doi.org/10.1006/inco.2001.2963openalex-snapshot
Simplifying Subtyping Constraints: A Theory
inferredcites →https://doi.org/10.1007/11531142_19openalex-snapshot
Towards Type Inference for JavaScript
inferredcites →https://doi.org/10.1007/978-3-540-31987-0_28openalex-snapshot
Towards a Type System for Analyzing JavaScript Programs
inferredcites →https://doi.org/10.1007/978-3-642-03237-0_17openalex-snapshot
Type Analysis for JavaScript
inferredcites →https://doi.org/10.1007/978-3-642-15769-1_20openalex-snapshot
Interprocedural Analysis with Lazy Propagation
inferredcites →https://doi.org/10.1007/978-3-642-19718-5_14openalex-snapshot
Typing Local Control and State Using Flow Analysis
inferredcites →https://doi.org/10.1007/978-3-662-44202-9_11openalex-snapshot
Understanding TypeScript
inferredcites →https://doi.org/10.1007/978-3-662-48288-9_11openalex-snapshot
SJS: A Type System for JavaScript with Fixed Object Layout
inferredcites →https://doi.org/10.1109/lics.1992.185545openalex-snapshot
Solving systems of set constraints
inferredcites →https://doi.org/10.1145/1328438.1328486openalex-snapshot
The design and implementation of typed scheme
inferredcites →https://doi.org/10.1145/174675.177847openalex-snapshot
Soft typing with conditional types
inferredcites →https://doi.org/10.1145/2025113.2025125openalex-snapshot
Modeling the HTML DOM and browser API in static analysis of JavaScript web applications
inferredcites →https://doi.org/10.1145/217838.217858openalex-snapshot
Sound polymorphic type inference for objects
inferredcites →https://doi.org/10.1145/217839.217858openalex-snapshot
Sound polymorphic type inference for objects
inferredcites →https://doi.org/10.1145/2384616.2384659openalex-snapshot
Dependent types for JavaScript
inferredcites →https://doi.org/10.1145/2635868.2635904openalex-snapshot
JSAI: a static analysis platform for JavaScript
inferredcites →https://doi.org/10.1145/2660193.2660214openalex-snapshot
Determinacy in static analysis for jQuery
inferredcites →https://doi.org/10.1145/2676726.2676971openalex-snapshot
Safe & Efficient Gradual Typing for TypeScript
inferredcites →https://doi.org/10.1145/277650.277667openalex-snapshot
Partial online cycle elimination in inclusion constraint graphs
inferredcites →https://doi.org/10.1145/2908080.2908110openalex-snapshot
Refinement types for TypeScript
inferredcites →https://doi.org/10.1145/2951913.2951928openalex-snapshot
Set-theoretic types for polymorphic variants
inferredcites →https://doi.org/10.1145/2980983.2908110openalex-snapshot
Refinement types for TypeScript
inferredcites →https://doi.org/10.1145/2983990.2983992openalex-snapshot
Semantic subtyping for imperative object-oriented languages
inferredcites →https://doi.org/10.1145/2983990.2984017openalex-snapshot
Type inference for static compilation of JavaScript
inferredcites →https://doi.org/10.1145/2989225.2989226openalex-snapshot
Type safety analysis for Dart
inferredcites →https://doi.org/10.1145/3009837.3009882openalex-snapshot
Polymorphism, subtyping, and type inference in MLsub
inferredcites →https://doi.org/10.1145/3110285openalex-snapshot
Gradual typing with union and intersection types
inferredcites →https://doi.org/10.1145/316686.316703openalex-snapshot
Componential set-based analysis
inferredcites →https://doi.org/10.1145/503272.503292openalex-snapshot
The first-order theory of subtyping constraints
inferredcites →https://doi.org/10.4230/lipics.ecoop.2015.735openalex-snapshot
Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-030-29959-0_17openalex-snapshot
A Formal Model for Checking Cryptographic API Usage in JavaScript
inferred← citeshttps://doi.org/10.1007/978-3-030-50029-0_10openalex-snapshot
SFJ: An Implementation of Semantic Featherweight Java
inferred← citeshttps://doi.org/10.1007/978-3-030-61470-6_19openalex-snapshot
Guaranteeing Type Consistency in Collective Adaptive Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-89159-6_21openalex-snapshot
GATE: Gradual Effect Types
inferred← citeshttps://doi.org/10.1007/978-3-031-34518-0_12openalex-snapshot
Programming with Union, Intersection, and Negation Types
inferred← citeshttps://doi.org/10.1007/978-3-031-64626-3_15openalex-snapshot
Gradual Typing Performance, Micro Configurations and Macro Perspectives
inferred← citeshttps://doi.org/10.1007/s10515-023-00404-xopenalex-snapshot
Enhancing embedded systems development with TS$$^-$$
inferred← citeshttps://doi.org/10.1007/s10664-019-09709-6openalex-snapshot
A study of build inflation in 30 million CPAN builds on 13 Perl versions and 10 operating systems
inferred← citeshttps://doi.org/10.1016/j.cola.2020.100965openalex-snapshot
Deriving overloaded success type schemes in Erlang
inferred← citeshttps://doi.org/10.1016/j.scico.2022.102781openalex-snapshot
Revisiting Occurrence Typing
inferred← citeshttps://doi.org/10.1017/s0956796824000029openalex-snapshot
Static Blame for gradual typing
inferred← citeshttps://doi.org/10.1017/s0956796824000078openalex-snapshot
Type-directed operational semantics for gradual typing
inferred← citeshttps://doi.org/10.1109/apsec.2018.00021openalex-snapshot
A JavaScript Transpiler for Escaping from Complicated Usage of Cloud Services and APIs
inferred← citeshttps://doi.org/10.1109/icse.2019.00026openalex-snapshot
Reasonably-Most-General Clients for JavaScript Library Analysis
inferred← citeshttps://doi.org/10.1109/tse.2019.2948351openalex-snapshot
Automatic Repair of Timestamp Comparisons
inferred← citeshttps://doi.org/10.1145/3276490openalex-snapshot
Julia: dynamism and performance reconciled by design
inferred← citeshttps://doi.org/10.1145/3276503openalex-snapshot
Collapsible contracts: fixing a pathology of gradual typing
inferred← citeshttps://doi.org/10.1145/3276504openalex-snapshot
The root cause of blame: contracts for intersection and union types
inferred← citeshttps://doi.org/10.1145/3359619.3359742openalex-snapshot
Optimizing and evaluating transient gradual typing
inferred← citeshttps://doi.org/10.1145/3406088.3409020openalex-snapshot
Eliminating bugs with dependent Haskell (experience report)
inferred← citeshttps://doi.org/10.1145/3428259openalex-snapshot
Taming type annotations in gradual typing
inferred← citeshttps://doi.org/10.1145/3434334openalex-snapshot
Corpse reviver: sound and efficient gradual typing via contract verification
inferred← citeshttps://doi.org/10.1145/3498674openalex-snapshot
On type-cases, union elimination, and occurrence typing
inferred← citeshttps://doi.org/10.1145/3551349.3559527openalex-snapshot
FlexType: A Plug-and-Play Framework for Type Inference Models
inferred← citeshttps://doi.org/10.1145/3563303openalex-snapshot
Incremental type-checking for free: using scope graphs to derive incremental type-checkers
inferred← citeshttps://doi.org/10.1145/3587216.3587220openalex-snapshot
Set-theoretic Types for Erlang
inferred← citeshttps://doi.org/10.1145/3611643.3616283openalex-snapshot
Statistical Type Inference for Incomplete Programs
inferred← citeshttps://doi.org/10.1145/3649842openalex-snapshot
Gradually Typed Languages Should Be Vigilant!
inferred← citeshttps://doi.org/10.1145/3656421openalex-snapshot
Decidable Subtyping of Existential Types for Julia
inferred← citeshttps://doi.org/10.1145/3677995openalex-snapshot
Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang
inferred← citeshttps://doi.org/10.1145/3704907openalex-snapshot
Bidirectional Higher-Rank Polymorphism with Intersection and Union Types
inferred← citeshttps://doi.org/10.1145/3763799openalex-snapshot
A Flow-Sensitive Refinement Type System for Verifying eBPF Programs
inferred← citeshttps://doi.org/10.1145/3828708openalex-snapshot
Set-Theoretic Types for Erlang in Practice (Experience Report)
inferred← citeshttps://doi.org/10.1145/3830434.3830945openalex-snapshot
Set-Theoretic Type Checking of Beginner Erlang Code: A Retrospective Study
inferred← citeshttps://doi.org/10.17760/d20653005openalex-snapshot
Predicting typeScript type annotations and definitions with machine learning
inferred← citeshttps://doi.org/10.22152/programming-journal.org/2022/6/6openalex-snapshot
Type Checking Extracted Methods
inferred← citeshttps://doi.org/10.4230/lipics.snapl.2019.2openalex-snapshot
Blame Tracking and Type Error Debugging
inferred← citeshttps://doi.org/10.4230/lipics.types.2023.2openalex-snapshot
Finite Combinatory Logic with Predicates
inferred← citeshttps://doi.org/10.70675/31d3db07z1123z48dczb7e2zd4e471c8fa5copenalex-snapshot
Interactive computer vision through the Web
inferred← citeshttps://doi.org/10.70675/95be549dz75cdz411cza44dz08753a6dde1copenalex-snapshot
Polymorphic set-theoretic types for functional 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.