On the public citation graph

Compiling Java to a typed lambda-calculus: A preliminary report

https://doi.org/10.1007/bfb0055510
0 signed · 37 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.
Claim with ORCID
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.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1002/j.1096-9942.1995.tb00017.xopenalex-snapshot
Dynamic versus Static Optimization Techniques for Object‐Oriented Languages
inferredcites →https://doi.org/10.1006/inco.1999.2829openalex-snapshot
Comparing Object Encodings
inferredcites →https://doi.org/10.1007/3-540-49538-x_5openalex-snapshot
Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis
inferredcites →https://doi.org/10.1007/978-1-4419-8598-9openalex-snapshot
A Theory of Objects
inferredcites →https://doi.org/10.1007/bfb0014561openalex-snapshot
Comparing object encodings
inferredcites →https://doi.org/10.1017/cbo9780511609619openalex-snapshot
Compiling with Continuations
inferredcites →https://doi.org/10.1017/s0956796800001040openalex-snapshot
Simple type-theoretic foundations for object-oriented programming
inferredcites →https://doi.org/10.1145/115372.115320openalex-snapshot
Efficiently computing static single assignment form and the control dependence graph
inferredcites →https://doi.org/10.1145/117954.117965openalex-snapshot
Object-oriented type inference
inferredcites →https://doi.org/10.1145/12276.13333openalex-snapshot
ORBIT: an optimizing compiler for scheme
inferredcites →https://doi.org/10.1145/158511.158653openalex-snapshot
Object-oriented programming without recursive types
inferredcites →https://doi.org/10.1145/191080.191130openalex-snapshot
Precise concrete type inference for object-oriented languages
inferredcites →https://doi.org/10.1145/207110.207121openalex-snapshot
Simple and effective link-time optimization of Modula-3 programs
inferredcites →https://doi.org/10.1145/231379.231414openalex-snapshot
TIL
inferredcites →https://doi.org/10.1145/236337.236344openalex-snapshot
Vortex
inferredcites →https://doi.org/10.1145/236337.236367openalex-snapshot
Simple and effective analysis of statically-typed object-oriented programs
inferredcites →https://doi.org/10.1145/236337.236371openalex-snapshot
Fast static analysis of C++ virtual function calls
inferredcites →https://doi.org/10.1145/236338.236344openalex-snapshot
Vortex
inferredcites →https://doi.org/10.1145/237721.237809openalex-snapshot
An interpretation of objects and object types
inferredcites →https://doi.org/10.1145/258948.258958openalex-snapshot
Flexible representation analysis
inferredcites →https://doi.org/10.1145/268946.268951openalex-snapshot
Bridging the gulf
inferredcites →https://doi.org/10.1145/989393.989414openalex-snapshot
Orbit

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/11547662_11openalex-snapshot
Type-Safe Optimisation of Plugin Architectures
inferred← citeshttps://doi.org/10.1007/3-540-36579-6_8openalex-snapshot
Precision in Practice: A Type-Preserving Java Compiler
inferred← citeshttps://doi.org/10.1007/3-540-47993-7_22openalex-snapshot
Type-Safe Method Inlining
inferred← citeshttps://doi.org/10.1007/978-3-642-29350-4_67openalex-snapshot
Software Modeling Language with Frames and Multi-abstractions: An Overview
inferred← citeshttps://doi.org/10.1016/j.scico.2004.03.009openalex-snapshot
Type-safe method inlining
inferred← citeshttps://doi.org/10.1023/a:1010039502678openalex-snapshot
inferred← citeshttps://doi.org/10.1109/fits.2003.1264927openalex-snapshot
Type-preserving compilation of featherweight java
inferred← citeshttps://doi.org/10.1145/1040305.1040309openalex-snapshot
A simple typed intermediate language for object-oriented languages
inferred← citeshttps://doi.org/10.1145/317636.317798openalex-snapshot
Representing Java classes in a typed intermediate language
inferred← citeshttps://doi.org/10.1145/514952.514954openalex-snapshot
Type-preserving compilation of Featherweight Java
inferred← citeshttps://doi.org/10.21236/ada436466openalex-snapshot
Type-Preserving Compilation of Featherweight Java
inferred← citeshttps://doi.org/10.21236/ada436468openalex-snapshot
Precision in Practice: A Type-Preserving Java Compiler
inferred← citeshttps://doi.org/10.21236/ada436496openalex-snapshot
A Type-Preserving Compiler Infrastructure
inferred← citeshttps://doi.org/10.21256/zhaw-3269openalex-snapshot
Selective Java code transformation into AWS Lambda functions
inferred← citeshttps://doi.org/10.5381/jot.2005.4.8.a2openalex-snapshot
Method Inlining, Dynamic Class Loading, and Type Soundness.
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.