On the public citation graph

Existentially quantified types as a database viewing mechanism

https://doi.org/10.1007/bfb0022178
0 signed · 29 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/978-3-642-61556-6_2openalex-snapshot
Modules and Persistence in Standard ML
inferredcites →https://doi.org/10.1093/comjnl/26.4.360openalex-snapshot
An Approach to Persistent Programming
inferredcites →https://doi.org/10.1093/comjnl/31.2.99openalex-snapshot
Binding and Type Checking in Database Programming Languages
inferredcites →https://doi.org/10.1109/hicss.1989.48058openalex-snapshot
Environments: a flexible binding mechanism to support system evolution
inferredcites →https://doi.org/10.1145/320455.320457openalex-snapshot
System R
inferredcites →https://doi.org/10.1145/320473.320476openalex-snapshot
The design and implementation of INGRES
inferredcites →https://doi.org/10.1145/3857.3859openalex-snapshot
GALILEO: a strongly-typed, interactive conceptual language
inferredcites →https://doi.org/10.1145/44501.45065openalex-snapshot
Abstract types have existential type
inferredcites →https://doi.org/10.1145/6041.6042openalex-snapshot
On understanding types, data abstraction, and polymorphism
inferredcites →https://doi.org/10.1145/800055.802035openalex-snapshot
A proposal for standard ML
inferredcites →https://doi.org/10.1145/988364.988371openalex-snapshot
Poly manual

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-53397-4_33openalex-snapshot
Language technology for post-relational data systems
inferred← citeshttps://doi.org/10.1007/3-540-54141-1_18openalex-snapshot
Toward multiparadigm database interfaces
inferred← citeshttps://doi.org/10.1007/3-540-56921-9_6openalex-snapshot
Viewing objects
inferred← citeshttps://doi.org/10.1007/3-540-57342-9_81openalex-snapshot
Managing change in persistent object systems
inferred← citeshttps://doi.org/10.1007/978-1-4471-3178-6_2openalex-snapshot
Persistent Languages and Architectures
inferred← citeshttps://doi.org/10.1007/978-1-4471-3178-6_4openalex-snapshot
Protection in Persistent Object Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-59623-0_12openalex-snapshot
Protection in Persistent Object Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-59623-0_23openalex-snapshot
Persistent Foundations for Scalable Multi-Paradigmal Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-59623-0_25openalex-snapshot
The PamCase Machine
inferred← citeshttps://doi.org/10.1007/978-3-642-59623-0_6openalex-snapshot
The Napier88 Persistent Programming Language and Environment
inferred← citeshttps://doi.org/10.1007/bf01231642openalex-snapshot
Orthogonally persistent object systems
inferred← citeshttps://doi.org/10.1016/0141-9331(93)90047-bopenalex-snapshot
Mechanisms for controlling evolution in persistent object systems
inferred← citeshttps://doi.org/10.1093/comjnl/38.1.1openalex-snapshot
Exploiting Persistent Linkage in Software Engineering Environments
inferred← citeshttps://doi.org/10.1145/117009.117017openalex-snapshot
An ad hoc approach to the implementation of polymorphism
inferred← citeshttps://doi.org/10.1145/182591.182623openalex-snapshot
A polymorphic calculus for views and object sharing (extended abstract)
inferred← citeshttps://doi.org/10.1145/227604.227609openalex-snapshot
Polymorphism and type inference in database programming
inferred← citeshttps://doi.org/10.1145/326619.326805openalex-snapshot
Using persistence technology to control schema evolution
inferred← citeshttps://doi.org/10.48550/arxiv.1006.3481openalex-snapshot
Reflection and Hyper-Programming in Persistent Programming Systems
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.