On the public citation graph
A Core Calculus for Documents: Or, Lambda: The Ultimate Document
0 signed · 30 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/978-3-662-44202-9_23openalex-snapshot
An Executable Formal Semantics of PHP
inferredcites →https://doi.org/10.1016/0167-6423(91)90036-wopenalex-snapshot
On the expressive power of programming languages
inferredcites →https://doi.org/10.1016/j.cola.2020.100960openalex-snapshot
On the semantics for spreadsheets with sheet-defined functions
inferredcites →https://doi.org/10.1017/s0956796805005575openalex-snapshot
Skribe: a functional authoring language
inferredcites →https://doi.org/10.1145/1140335.1140352openalex-snapshot
Open data types and open functions
inferredcites →https://doi.org/10.1145/1596550.1596571openalex-snapshot
A universe of binding and computation
inferredcites →https://doi.org/10.1145/1621607.1621624openalex-snapshot
Generating safe template languages
inferredcites →https://doi.org/10.1145/2103656.2103705openalex-snapshot
Programming with binders and indexed data-types
inferredcites →https://doi.org/10.1145/2489837.2489840openalex-snapshot
Scala macros: let our powers combine!
inferredcites →https://doi.org/10.1145/2491956.2462161openalex-snapshot
Asynchronous functional reactive programming for GUIs
inferredcites →https://doi.org/10.1145/258993.259019openalex-snapshot
Multi-stage programming with explicit annotations
inferredcites →https://doi.org/10.1145/3192366.3192398openalex-snapshot
Inferring type rules for syntactic sugar
inferredcites →https://doi.org/10.1145/32206.32209openalex-snapshot
Markup systems and the future of scholarly text processing
inferredcites →https://doi.org/10.1145/567446.567449openalex-snapshot
A high-level approach to computer document formatting
inferredcites →https://doi.org/10.1145/581690.581691openalex-snapshot
Template meta-programming for Haskell
inferredcites →https://doi.org/10.1145/945885.945890openalex-snapshot
Extending Java for high-level Web service construction
inferredcites →https://doi.org/10.1145/988672.988703openalex-snapshot
Enforcing strict model-view separation in template engines
inferredcites →https://doi.org/10.5281/zenodo.8409036openalex-snapshot
Artifact for "A Core Calculus for Documents"
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1016/j.jss.2024.112148openalex-snapshot
BIT: A template-based approach to incremental and bidirectional model-to-text transformation
inferred← citeshttps://doi.org/10.1145/3763067openalex-snapshot
React-tRace: A Semantics for Understanding React Hooks: An Operational Semantics and a Visualizer for Clarifying React Hooks
inferred← citeshttps://doi.org/10.70675/f511b5ebz6d6ez4de6z81b3zff5adaf714a7openalex-snapshot
An Ontology Framework for Formal Libraries
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.