On the public citation graph

The calculus of context relations

https://doi.org/10.1007/bf01178581
0 signed · 49 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.1007/3-540-12328-8openalex-snapshot
The Programming Language Ada Reference Manual American National Standards Institute, Inc. ANSI/MIL-STD-1815A-1983
inferredcites →https://doi.org/10.1007/3-540-13346-1_11openalex-snapshot
Executable specification of static semantics
inferredcites →https://doi.org/10.1007/3-540-15975-4_45openalex-snapshot
Practical polymorphism
inferredcites →https://doi.org/10.1007/3-540-15984-3_328openalex-snapshot
Unification in conditional-equational theories
inferredcites →https://doi.org/10.1007/3-540-18317-5openalex-snapshot
Functional Programming Languages and Computer Architecture
inferredcites →https://doi.org/10.1007/3-540-18317-5_18openalex-snapshot
Performance polymorphism
inferredcites →https://doi.org/10.1007/3-540-19027-9_9openalex-snapshot
Parametric overloading in polymorphic programming languages
inferredcites →https://doi.org/10.1007/978-0-387-34768-4_12openalex-snapshot
Associative-Commutative Unification
inferredcites →https://doi.org/10.1007/bf00288644openalex-snapshot
Ordered attributed grammars
inferredcites →https://doi.org/10.1007/bf01806313openalex-snapshot
Integrating logic and functional programming
inferredcites →https://doi.org/10.1007/bf01934460openalex-snapshot
On incremental evaluation of ordered attributed grammars
inferredcites →https://doi.org/10.1007/bfb0024065openalex-snapshot
Computational Aspects of an Order-Sorted Logic with Term Declarations
inferredcites →https://doi.org/10.1007/bfb0024174openalex-snapshot
Inference-based overloading resolution for ADA
inferredcites →https://doi.org/10.1016/0011-684x(86)90240-6openalex-snapshot
Systematic software development using VDM
inferredcites →https://doi.org/10.1016/0022-0000(78)90014-4openalex-snapshot
A theory of type polymorphism in programming
inferredcites →https://doi.org/10.1016/0167-6423(84)90013-3openalex-snapshot
The theory of relational databases
inferredcites →https://doi.org/10.1016/0304-3975(75)90011-0openalex-snapshot
A unification algorithm for typed λ-calculus
inferredcites →https://doi.org/10.1016/0306-4379(86)90003-7openalex-snapshot
The relational model with relation-valued attributes
inferredcites →https://doi.org/10.1016/s0747-7171(89)80013-6openalex-snapshot
Boolean unification — The story so far
inferredcites →https://doi.org/10.1016/s0747-7171(89)80036-7openalex-snapshot
Order-sorted unification
inferredcites →https://doi.org/10.1145/319838.319847openalex-snapshot
A simple applicative language: mini-ML
inferredcites →https://doi.org/10.1145/41625.41635openalex-snapshot
Constraint logic programming
inferredcites →https://doi.org/10.1145/42267.45071openalex-snapshot
Many-sorted unification
inferredcites →https://doi.org/10.1145/582153.582172openalex-snapshot
Optimal-time incremental semantic analysis for syntax-directed editors
inferredcites →https://doi.org/10.1145/582153.582174openalex-snapshot
Non-syntactic attribute flow in language based editors
inferredcites →https://doi.org/10.1145/582153.582176openalex-snapshot
Principal type-schemes for functional programs
inferredcites →https://doi.org/10.1145/64135.65005openalex-snapshot
Centaur: the system
inferredcites →https://doi.org/10.1145/6465.20890openalex-snapshot
The PSG system: from formal language definitions to interactive programming environments
inferredcites →https://doi.org/10.1145/75277.75283openalex-snapshot
How to make ad-hoc polymorphism less ad hoc
inferredcites →https://doi.org/10.1145/79204.79209openalex-snapshot
Constraint logic programming languages

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-54194-2_34openalex-snapshot
Utilizing fifth generation technology in software development tools
inferred← citeshttps://doi.org/10.1007/3-540-55602-8_156openalex-snapshot
Reduction and unification in Lambda calculi with subtypes
inferred← citeshttps://doi.org/10.1007/3-540-57186-8_76openalex-snapshot
Programming language specification and prototyping using the MAX system
inferred← citeshttps://doi.org/10.1007/3540543961_1openalex-snapshot
Type classes and overloading resolution via order-sorted unification
inferred← citeshttps://doi.org/10.1007/3540547428_60openalex-snapshot
Inference-based support for programming in the large
inferred← citeshttps://doi.org/10.1007/978-3-662-01069-3_56openalex-snapshot
Natural Semantics for Imperative and Object-Oriented Programming Languages
inferred← citeshttps://doi.org/10.1007/bf00885767openalex-snapshot
Reduction and unification in lambda calculi with a general notion of subtype
inferred← citeshttps://doi.org/10.1007/bfb0024174openalex-snapshot
Inference-based overloading resolution for ADA
inferred← citeshttps://doi.org/10.1016/0020-7373(92)90005-6openalex-snapshot
Design and structure of a semantics-based programming environment
inferred← citeshttps://doi.org/10.1016/0167-6423(95)00007-0openalex-snapshot
Explaining type inference
inferred← citeshttps://doi.org/10.1109/asr.1993.291718openalex-snapshot
Polymorphic components for monomorphic languages
inferred← citeshttps://doi.org/10.1145/142868.143760openalex-snapshot
Real theorem provers deserve real user-interfaces
inferred← citeshttps://doi.org/10.1145/142882.143760openalex-snapshot
Real theorem provers deserve real user-interfaces
inferred← citeshttps://doi.org/10.1145/222124.222151openalex-snapshot
A unified version model for configuration management
inferred← citeshttps://doi.org/10.1145/222132.222151openalex-snapshot
A unified version model for configuration management
inferred← citeshttps://doi.org/10.1145/261640.261654openalex-snapshot
Unified versioning through feature logic
inferred← citeshttps://doi.org/10.1145/2814270.2814277openalex-snapshot
A co-contextual formulation of type rules and its application to incremental type checking
inferred← citeshttps://doi.org/10.1145/2858965.2814277openalex-snapshot
A co-contextual formulation of type rules and its application to incremental type checking
inferred← citeshttps://doi.org/10.18154/rwth-conv-125522openalex-snapshot
MontiCore: Agile Entwicklung von domänenspezifischen Sprachen im Software-Engineering
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.