On the public citation graph
Julia subtyping: a rational reconstruction
0 signed · 54 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-47891-4_15openalex-snapshot
The Common Lisp Object System: An Overview
inferredcites →https://doi.org/10.1007/978-3-540-70592-5_2openalex-snapshot
A Model for Java with Wildcards
inferredcites →https://doi.org/10.1007/978-3-642-10672-9_10openalex-snapshot
On the Decidability of Subtyping with Bounded Existential Types
inferredcites →https://doi.org/10.1007/978-3-662-49498-1_4openalex-snapshot
Practical Optional Types for Clojure
inferredcites →https://doi.org/10.1137/141000671openalex-snapshot
Julia: A Fresh Approach to Numerical Computing
inferredcites →https://doi.org/10.1145/143165.143228openalex-snapshot
Bounded quantification is undecidable
inferredcites →https://doi.org/10.1145/1449764.1449804openalex-snapshot
Java type inference is broken
inferredcites →https://doi.org/10.1145/174675.177844openalex-snapshot
Decidable bounded quantification
inferredcites →https://doi.org/10.1145/191080.191083openalex-snapshot
Typechecking and modules for multi-methods
inferredcites →https://doi.org/10.1145/1993316.1993570openalex-snapshot
Taming wildcards in Java's type system
inferredcites →https://doi.org/10.1145/1993498.1993570openalex-snapshot
Taming wildcards in Java's type system
inferredcites →https://doi.org/10.1145/2048066.2048140openalex-snapshot
Type checking modular multiple dispatch with parametric polymorphism and multiple inheritance
inferredcites →https://doi.org/10.1145/2535838.2535840openalex-snapshot
Polymorphic functions with set-theoretic types
inferredcites →https://doi.org/10.1145/263699.263743openalex-snapshot
Type checking higher-order polymorphic multi-methods
inferredcites →https://doi.org/10.1145/2676726.2676991openalex-snapshot
Polymorphic Functions with Set-Theoretic Types
inferredcites →https://doi.org/10.1145/286936.286979openalex-snapshot
Contraint-based polymorphism in Cecil
inferredcites →https://doi.org/10.1145/3009837.3009871openalex-snapshot
Java generics are turing complete
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/cpe.70843openalex-snapshot
Multicluster Computing Systems With Julia
inferred← citeshttps://doi.org/10.1007/s10664-023-10328-5openalex-snapshot
Come for syntax, stay for speed, understand defects: an empirical study of defects in Julia programs
inferred← citeshttps://doi.org/10.1007/s10664-024-10606-wopenalex-snapshot
Come for syntax, stay for speed, write secure code: an empirical study of security weaknesses in Julia programs
inferred← citeshttps://doi.org/10.1007/s41781-023-00104-xopenalex-snapshot
Potential of the Julia Programming Language for High Energy Physics Computing
inferred← citeshttps://doi.org/10.1016/b978-0-12-818634-3.50150-8openalex-snapshot
On the Design and Implementation of a Process Modelling Language for Uncertainty
inferred← citeshttps://doi.org/10.1111/1755-0998.13458openalex-snapshot
Optimizing sampling design and sequencing strategy for the genomic analysis of quantitative traits in natural populations
inferred← citeshttps://doi.org/10.1145/3276482openalex-snapshot
Empowering union and intersection types with integrated subtyping
inferred← citeshttps://doi.org/10.1145/3276490openalex-snapshot
Julia: dynamism and performance reconciled by design
inferred← citeshttps://doi.org/10.1145/3340672.3341115openalex-snapshot
Decidable tag-based semantic subtyping for nominal types, tuples, and unions
inferred← citeshttps://doi.org/10.1145/3428275openalex-snapshot
World age in Julia: optimizing method dispatch in the presence of eval
inferred← citeshttps://doi.org/10.1145/3473594openalex-snapshot
Distributing intersection and union types with splits and duality (functional pearl)
inferred← citeshttps://doi.org/10.1145/3476883.3520205openalex-snapshot
What questions do developers ask about Julia?
inferred← citeshttps://doi.org/10.1145/3485527openalex-snapshot
Type stability in Julia: avoiding performance pathologies in JIT compilation
inferred← citeshttps://doi.org/10.1145/3623507openalex-snapshot
Proceedings of the 15th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages
inferred← citeshttps://doi.org/10.1145/3623507.3623556openalex-snapshot
Approximating Type Stability in the Julia JIT (Work in Progress)
inferred← citeshttps://doi.org/10.1145/3656421openalex-snapshot
Decidable Subtyping of Existential Types for Julia
inferred← citeshttps://doi.org/10.1145/3704907openalex-snapshot
Bidirectional Higher-Rank Polymorphism with Intersection and Union Types
inferred← citeshttps://doi.org/10.17760/d20581904openalex-snapshot
Decidable subtyping of existential types for the Julia language
inferred← citeshttps://doi.org/10.17760/d20618641openalex-snapshot
Type stability in Julia: a simple and efficient optimization technique
inferred← citeshttps://doi.org/10.21105/joss.03078openalex-snapshot
Metatheory.jl: Fast and Elegant Algebraic Computation in Julia with Extensible Equality Saturation
inferred← citeshttps://doi.org/10.22152/programming-journal.org/2024/8/4openalex-snapshot
The Design Principles of the Elixir Type System
inferred← citeshttps://doi.org/10.22363/2658-4670-2022-30-4-318-329openalex-snapshot
Implementation of hyperbolic complex numbers in Julia language
inferred← citeshttps://doi.org/10.48550/arxiv.2010.07516openalex-snapshot
World Age in Julia: Optimizing Method Dispatch in the Presence of Eval (Extended Version)
inferred← citeshttps://doi.org/10.48550/arxiv.2109.14072openalex-snapshot
A Look at Communication-Intensive Performance in Julia
inferred← citeshttps://doi.org/10.5753/sblp.2024.3470openalex-snapshot
Cloud-based parallel computing across multiple clusters in Julia
inferred← citeshttps://doi.org/10.5753/sblp.2024.3689openalex-snapshot
The expression problem in platform-aware programming
inferred← citeshttps://doi.org/10.5753/sscad.2024.244307openalex-snapshot
Towards multicluster computations with Julia
inferred← citeshttps://doi.org/10.5753/wscad.2023.235920openalex-snapshot
Structured platform-aware programming
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.