On the public citation graph
MJ: An imperative core calculus for Java and Java with effects
0 signed · 123 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(199901/03)5:1<3::aid-tapo2>3.0.co;2-topenalex-snapshot
Is the Java type system sound?
inferredcites →https://doi.org/10.1002/acr.24071openalex-snapshot
Association of Seropositivity and Mortality in Rheumatoid Arthritis and the Impact of Treatment With Disease‐Modifying Antirheumatic Drugs: Results From a Real‐World Study
inferredcites →https://doi.org/10.1002/art.39595openalex-snapshot
Brief Report: Association of Rheumatoid Factor and Anti–Citrullinated Protein Antibody Positivity With Better Effectiveness of Abatacept: Results From the Pan‐European Registry Analysis
inferredcites →https://doi.org/10.1002/art.41752openalex-snapshot
2021 American College of Rheumatology Guideline for the Treatment of Rheumatoid Arthritis
inferredcites →https://doi.org/10.1006/inco.1994.1046openalex-snapshot
The Type and Effect Discipline
inferredcites →https://doi.org/10.1006/inco.1994.1093openalex-snapshot
A Syntactic Approach to Type Soundness
inferredcites →https://doi.org/10.1007/3-540-44802-0_1openalex-snapshot
Local Reasoning about Programs that Alter Data Structures
inferredcites →https://doi.org/10.1007/3-540-48737-9_7openalex-snapshot
A Programmer’s Reduction Semantics for Classes and Mixins
inferredcites →https://doi.org/10.1007/s00296-015-3271-8openalex-snapshot
Associations of rheumatoid factor and anti-citrullinated peptide antibody with disease progression and treatment outcomes in patients with rheumatoid arthritis
inferredcites →https://doi.org/10.1007/s10067-017-3587-8openalex-snapshot
Are abatacept and tocilizumab intravenous users willing to switch for the subcutaneous route of administration? A questionnaire-based study
inferredcites →https://doi.org/10.1007/s10067-019-04449-wopenalex-snapshot
Predictors of abatacept retention over 2 years in patients with rheumatoid arthritis: results from the real-world ACTION study
inferredcites →https://doi.org/10.1007/s10067-019-04648-5openalex-snapshot
Abatacept retention and clinical outcomes in rheumatoid arthritis: real-world data from the German cohort of the ACTION study and a comparison with other participating countries
inferredcites →https://doi.org/10.1007/s10067-022-06176-1openalex-snapshot
Retention of subcutaneous abatacept for the treatment of rheumatoid arthritis: real-world results from the ASCORE study: an international 2-year observational study
inferredcites →https://doi.org/10.1007/s10354-019-00710-8openalex-snapshot
Abatacept retention and clinical outcomes in Austrian patients with rheumatoid arthritis: real-world data from the 2-year ACTION study
inferredcites →https://doi.org/10.1016/j.jbspin.2019.07.006openalex-snapshot
Two-year abatacept retention rate in clinical practice in the French ACTION cohort
inferredcites →https://doi.org/10.1017/s0956796800000393openalex-snapshot
Polymorphic type, region and effect inference
inferredcites →https://doi.org/10.1038/nri.2016.124openalex-snapshot
The immunopathogenesis of seropositive rheumatoid arthritis: from triggering to targeting
inferredcites →https://doi.org/10.1109/lics.2002.1029817openalex-snapshot
Separation logic: a logic for shared mutable data structures
inferredcites →https://doi.org/10.1136/annrheumdis-2019-216655openalex-snapshot
EULAR recommendations for the management of rheumatoid arthritis with synthetic and biological disease-modifying antirheumatic drugs: 2019 update
inferredcites →https://doi.org/10.1136/bmj.l67openalex-snapshot
Comparative effectiveness of rituximab, abatacept, and tocilizumab in adults with rheumatoid arthritis and inadequate response to TNF inhibitors: prospective cohort study
inferredcites →https://doi.org/10.1136/rmdopen-2017-000538openalex-snapshot
Real-world predictors of 12–month intravenous abatacept retention in patients with rheumatoid arthritis in the ACTION observational study
inferredcites →https://doi.org/10.1145/143165.143169openalex-snapshot
The essence of functional programming
inferredcites →https://doi.org/10.1145/286936.286957openalex-snapshot
Making the future safe for the past
inferredcites →https://doi.org/10.1145/289423.289429openalex-snapshot
The marriage of effects and monads
inferredcites →https://doi.org/10.1145/319838.319848openalex-snapshot
Integrating functional and imperative programming
inferredcites →https://doi.org/10.1145/378795.378797openalex-snapshot
Design and implementation of generics for the .NET Common language runtime
inferredcites →https://doi.org/10.1186/ar1767openalex-snapshot
Antibodies to citrullinated proteins and differences in clinical progression of rheumatoid arthritis
inferredcites →https://doi.org/10.1186/s13075-020-2138-xopenalex-snapshot
Cytotoxic T lymphocyte-associated antigen-4-Ig (CTLA-4-Ig) suppresses Staphylococcus aureus-induced CD80, CD86, and pro-inflammatory cytokine expression in human B cells
inferredcites →https://doi.org/10.1186/s41927-020-00173-0openalex-snapshot
Outcomes in rheumatoid arthritis patients treated with abatacept: a UK multi-centre observational study
inferredcites →https://doi.org/10.1620/tjem.250.153openalex-snapshot
Better Retention of Abatacept Is Associated with High Rheumatoid Factor: A Five-Year Follow-Up Study of Patients with Rheumatoid Arthritis
inferredcites →https://doi.org/10.3899/jrheum.170344openalex-snapshot
Longterm Safety and Efficacy of Subcutaneous Abatacept in Patients with Rheumatoid Arthritis: 5-year Results from a Phase IIIb Trial
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.801openalex-snapshot
Transposing F to C♯: expressivity of parametric polymorphism in an object‐oriented language
inferred← citeshttps://doi.org/10.1007/11580850_16openalex-snapshot
A Distributed Object-Oriented Language with Session Types
inferred← citeshttps://doi.org/10.1007/11693024_11openalex-snapshot
Bisimulations for Untyped Imperative Objects
inferred← citeshttps://doi.org/10.1007/11766155_24openalex-snapshot
Field Access Analysis for Enforcing Access Control Policies
inferred← citeshttps://doi.org/10.1007/11785477_20openalex-snapshot
Session Types for Object-Oriented Languages
inferred← citeshttps://doi.org/10.1007/978-3-319-24012-1_5openalex-snapshot
Go Model and Object Oriented Programming
inferred← citeshttps://doi.org/10.1007/978-3-319-24953-7_19openalex-snapshot
A Contextual Equivalence Checker for IMJ*
inferred← citeshttps://doi.org/10.1007/978-3-319-24953-7_30openalex-snapshot
Game Semantic Analysis of Equivalence in IMJ
inferred← citeshttps://doi.org/10.1007/978-3-540-28644-8_14openalex-snapshot
μABC: A Minimal Aspect Calculus
inferred← citeshttps://doi.org/10.1007/978-3-540-31987-0_29openalex-snapshot
Java JR: Fully Abstract Trace Semantics for a Core Java Language
inferred← citeshttps://doi.org/10.1007/978-3-540-70592-5_11openalex-snapshot
UpgradeJ: Incremental Typechecking for Class Upgrades
inferred← citeshttps://doi.org/10.1007/978-3-540-72952-5_1openalex-snapshot
Asynchronous Session Types and Progress for Object Oriented Languages
inferred← citeshttps://doi.org/10.1007/978-3-540-78739-6_17openalex-snapshot
Tapido: Trust and Authorization Via Provenance and Integrity in Distributed Objects (Extended Abstract)
inferred← citeshttps://doi.org/10.1007/978-3-642-00590-9_11openalex-snapshot
Formalising and Verifying Reference Attribute Grammars in Coq
inferred← citeshttps://doi.org/10.1007/978-3-642-14107-2_5openalex-snapshot
Adding Dynamic Types to C $^\sharp$
inferred← citeshttps://doi.org/10.1007/978-3-642-31057-7_12openalex-snapshot
Pause ’n’ Play: Formalizing Asynchronous C $^\sharp$
inferred← citeshttps://doi.org/10.1007/978-3-642-41157-1_5openalex-snapshot
Formal Modeling and Reasoning about the Android Security Framework
inferred← citeshttps://doi.org/10.1007/978-3-662-44202-9_11openalex-snapshot
Understanding TypeScript
inferred← citeshttps://doi.org/10.1007/978-3-662-44202-9_27openalex-snapshot
Semantics of (Resilient) X10
inferred← citeshttps://doi.org/10.1007/s00165-010-0148-1openalex-snapshot
Automatic verification of Java programs with dynamic frames
inferred← citeshttps://doi.org/10.1007/s00165-012-0269-9openalex-snapshot
Formal verification of security protocol implementations: a survey
inferred← citeshttps://doi.org/10.1007/s00165-017-0449-8openalex-snapshot
Formally sound implementations of security protocols with JavaSPI
inferred← citeshttps://doi.org/10.1016/j.cl.2011.03.002openalex-snapshot
Reconciling method overloading and dynamically typed scripting languages
inferred← citeshttps://doi.org/10.1016/j.cl.2016.05.003openalex-snapshot
Specification and static enforcement of scheduler-independent noninterference in a middleweight Java
inferred← citeshttps://doi.org/10.1016/j.cose.2009.08.001openalex-snapshot
Provably correct Java implementations of Spi Calculus security protocols specifications
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.11.061openalex-snapshot
A Type-theoretic Reconstruction of the Visitor Pattern
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.12.115openalex-snapshot
Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness
inferred← citeshttps://doi.org/10.1016/j.future.2016.06.014openalex-snapshot
Automatic security verification of mobile app configurations
inferred← citeshttps://doi.org/10.1016/j.jlamp.2019.03.002openalex-snapshot
A reduction semantics for direct-style asynchronous observables
inferred← citeshttps://doi.org/10.1016/j.scico.2006.02.008openalex-snapshot
Typed parametric polymorphism for aspects
inferred← citeshttps://doi.org/10.1016/j.scico.2007.04.001openalex-snapshot
Reasoning about safety properties in a JVM-like environment
inferred← citeshttps://doi.org/10.1016/j.scico.2011.06.007openalex-snapshot
TraitRecordJ : A programming language with traits and records
inferred← citeshttps://doi.org/10.1016/j.tcs.2007.09.002openalex-snapshot
Formalising Java RMI with explicit code mobility
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80803-xopenalex-snapshot
Effects and effect inference for a core Java calculus
inferred← citeshttps://doi.org/10.1109/apsec57359.2022.00036openalex-snapshot
Two-Stage Patch Synthesis for API Migration from Single API Usage Example
inferred← citeshttps://doi.org/10.1109/ares.2016.30openalex-snapshot
A Type System for Quantified Information-Flow Security in Java-Like Languages
inferred← citeshttps://doi.org/10.1109/ase56229.2023.00072openalex-snapshot
OrdinalFix: Fixing Compilation Errors via Shortest-Path CFL Reachability
inferred← citeshttps://doi.org/10.1109/iceccs.2006.1690368openalex-snapshot
A type system for the relational calculus of object systems
inferred← citeshttps://doi.org/10.1109/sp40001.2021.00002openalex-snapshot
Co-Inflow: Coarse-grained Information Flow Control for Java-like Languages
inferred← citeshttps://doi.org/10.1145/1028976.1028994openalex-snapshot
Transparent proxies for java futures
inferred← citeshttps://doi.org/10.1145/1094811.1094843openalex-snapshot
Formalising Java RMI with explicit code mobility
inferred← citeshttps://doi.org/10.1145/1255329.1255332openalex-snapshot
Improving usability of information flow security in java
inferred← citeshttps://doi.org/10.1145/1328438.1328451openalex-snapshot
Separation logic, abstraction and inheritance
inferred← citeshttps://doi.org/10.1145/1557898.1557901openalex-snapshot
Semantic predicate types and approximation for class-based object oriented programming
inferred← citeshttps://doi.org/10.1145/1852761.1852780openalex-snapshot
A prototypical Java-like language with records and traits
inferred← citeshttps://doi.org/10.1145/2049706.2049709openalex-snapshot
Separating ownership topology and encapsulation with generic universe types
inferred← citeshttps://doi.org/10.1145/2103621.2103663openalex-snapshot
Towards a program logic for JavaScript
inferred← citeshttps://doi.org/10.1145/2103656.2103663openalex-snapshot
Towards a program logic for JavaScript
inferred← citeshttps://doi.org/10.1145/2489804.2489805openalex-snapshot
True small-step reduction for imperative object oriented languages
inferred← citeshttps://doi.org/10.1145/2535838.2535880openalex-snapshot
Game semantics for interface middleweight Java
inferred← citeshttps://doi.org/10.1145/2983990.2984004openalex-snapshot
Java and scala's type systems are unsound: the existential crisis of null pointers
inferred← citeshttps://doi.org/10.1145/2983990.2984042openalex-snapshot
LaCasa: lightweight affinity and object capabilities in Scala
inferred← citeshttps://doi.org/10.1145/3022671.2984004openalex-snapshot
Java and scala's type systems are unsound: the existential crisis of null pointers
inferred← citeshttps://doi.org/10.1145/3158104openalex-snapshot
Intrinsically-typed definitional interpreters for imperative languages
inferred← citeshttps://doi.org/10.1145/3527635openalex-snapshot
Containerless Plurals: Separating Number from Type in Object-Oriented Programming
inferred← citeshttps://doi.org/10.1145/3563767.3568131openalex-snapshot
Expressions in Java: Essential, Prevalent, Neglected?
inferred← citeshttps://doi.org/10.1145/3624007.3624051openalex-snapshot
A Monadic Framework for Name Resolution in Multi-phased Type Checkers
inferred← citeshttps://doi.org/10.1145/964001.964014openalex-snapshot
Channel dependent types for higher-order mobile processes
inferred← citeshttps://doi.org/10.15760/etd.7145openalex-snapshot
Correct-by-Construction Typechecking with Scope Graphs
inferred← citeshttps://doi.org/10.17760/d10016545openalex-snapshot
Reasoning about imperative and higher-order programs
inferred← citeshttps://doi.org/10.21236/ada484494openalex-snapshot
Practical Techniques for Language Design and Prototyping
inferred← citeshttps://doi.org/10.2168/lmcs-5(4:2)2009openalex-snapshot
A Step-indexed Semantics of Imperative Objects
inferred← citeshttps://doi.org/10.22456/2175-2745.80912openalex-snapshot
Formal Semantics for Java-like Languages and Research Opportunities
inferred← citeshttps://doi.org/10.29007/5wptopenalex-snapshot
Refinement and Term Synthesis in Loop Invariant Generation
inferred← citeshttps://doi.org/10.3929/ethz-a-005951213openalex-snapshot
Universe Types: Topology, encapsulation, genericity, and tools
inferred← citeshttps://doi.org/10.3929/ethz-a-006782362openalex-snapshot
Formalization of generic universe types
inferred← citeshttps://doi.org/10.48550/arxiv.1106.1531openalex-snapshot
Poplar: A Java Extension for Evolvable Component Integration
inferred← citeshttps://doi.org/10.48550/arxiv.1312.3739openalex-snapshot
Semantics of (Resilient) X10
inferred← citeshttps://doi.org/10.48550/arxiv.1607.05609openalex-snapshot
Object Capabilities and Lightweight Affinity in Scala: Implementation, Formalization, and Soundness
inferred← citeshttps://doi.org/10.48550/arxiv.1907.11317openalex-snapshot
Explicit and Controllable Assignment Semantics
inferred← citeshttps://doi.org/10.7275/6032276.0openalex-snapshot
Using Formal Methods to Verify Transactional Abstract Concurrency Control
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.