On the public citation graph

Proceedings of the 1988 ACM conference on LISP and functional programming

https://doi.org/10.1145/62678
0 signed · 41 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 points at this work

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

inferred← citeshttps://doi.org/10.1006/inco.1999.2829openalex-snapshot
Comparing Object Encodings
inferred← citeshttps://doi.org/10.1007/3-540-45335-0_3openalex-snapshot
A Survey of Exact Arithmetic Implementations
inferred← citeshttps://doi.org/10.1007/3-540-57264-3_34openalex-snapshot
Occam's razor in metacomputation: the notion of a perfect process tree
inferred← citeshttps://doi.org/10.1007/978-3-319-03542-0_24openalex-snapshot
Environmental Bisimulations for Delimited-Control Operators
inferred← citeshttps://doi.org/10.1007/s10990-012-9089-0openalex-snapshot
Type-specialized staged programming with process separation
inferred← citeshttps://doi.org/10.1016/0096-0551(88)90003-3openalex-snapshot
Seque: A programming language for manipulating sequences
inferred← citeshttps://doi.org/10.1016/0096-0551(89)90018-0openalex-snapshot
Engines from continuations
inferred← citeshttps://doi.org/10.1016/0096-0551(92)90003-6openalex-snapshot
Sublist assertions for listless and lazy evaluation
inferred← citeshttps://doi.org/10.1016/0096-0551(95)00002-lopenalex-snapshot
A complete semantics for SMALLTALK-80
inferred← citeshttps://doi.org/10.1016/0747-7171(92)90011-ropenalex-snapshot
Unification under a mixed prefix
inferred← citeshttps://doi.org/10.1016/0890-5401(90)90062-mopenalex-snapshot
A modest model of records, inheritance, and bounded quantification
inferred← citeshttps://doi.org/10.1016/b978-0-12-088478-0.00024-4openalex-snapshot
Bibliography
inferred← citeshttps://doi.org/10.1016/j.ejor.2015.10.002openalex-snapshot
An enhanced branch-and-bound algorithm for the talent scheduling problem
inferred← citeshttps://doi.org/10.1016/j.jlap.2004.07.003openalex-snapshot
Arbitrary precision real arithmetic: design and algorithms
inferred← citeshttps://doi.org/10.1016/j.jss.2010.07.031openalex-snapshot
A property based specification formalism classification
inferred← citeshttps://doi.org/10.1016/j.scico.2004.11.005openalex-snapshot
A form-based meta-model for software composition
inferred← citeshttps://doi.org/10.1016/j.scico.2006.01.002openalex-snapshot
On the static and dynamic extents of delimited continuations
inferred← citeshttps://doi.org/10.1016/j.scico.2008.09.009openalex-snapshot
A language for generic programming in the large
inferred← citeshttps://doi.org/10.1016/j.scico.2012.11.004openalex-snapshot
Banana Algebra: Compositional syntactic language extension
inferred← citeshttps://doi.org/10.1016/j.scico.2013.09.002openalex-snapshot
Execution levels for aspect-oriented programming: Design, semantics, implementations and applications
inferred← citeshttps://doi.org/10.1016/j.scico.2023.103014openalex-snapshot
Asynchronous unfold/fold transformation for fixpoint logic
inferred← citeshttps://doi.org/10.1016/j.tcs.2021.02.038openalex-snapshot
Introducing ⦇ λ ⦈, a λ-calculus for effectful computation
inferred← citeshttps://doi.org/10.1016/s0747-7171(89)80023-9openalex-snapshot
Higher-order unification revisited: Complete sets of transformations
inferred← citeshttps://doi.org/10.1017/s0956796804005398openalex-snapshot
Embedded interpreters
inferred← citeshttps://doi.org/10.1017/s0956796816000162openalex-snapshot
Gradual type-and-effect systems
inferred← citeshttps://doi.org/10.1145/128861.128867openalex-snapshot
Cache behavior of combinator graph reduction
inferred← citeshttps://doi.org/10.1145/258128.258212openalex-snapshot
On the power and limitations of strictness analysis
inferred← citeshttps://doi.org/10.1145/3473597openalex-snapshot
GhostCell: separating permissions from data in Rust
inferred← citeshttps://doi.org/10.1145/937563.937565openalex-snapshot
Class analyses as abstract interpretations of trace semantics
inferred← citeshttps://doi.org/10.17771/pucrio.acad.56519openalex-snapshot
A FOREIGN FUNCTION INTERFACE FOR PALLENE
inferred← citeshttps://doi.org/10.20868/upm.thesis.9845openalex-snapshot
XC. Un lenguaje orientado a componentes para programación de sistemas
inferred← citeshttps://doi.org/10.7146/brics.v11i29.21854openalex-snapshot
An Operational Foundation for Delimited Continuations in the CPS Hierarchy
inferred← citeshttps://doi.org/10.7146/brics.v12i11.21877openalex-snapshot
An Operational Foundation for Delimited Continuations in the CPS Hierarchy
inferred← citeshttps://doi.org/10.7146/brics.v12i13.21879openalex-snapshot
On the Dynamic Extent of Delimited Continuations
inferred← citeshttps://doi.org/10.7146/brics.v12i15.21881openalex-snapshot
A Concrete Framework for Environment Machines
inferred← citeshttps://doi.org/10.7146/brics.v12i2.21868openalex-snapshot
On the Dynamic Extent of Delimited Continuations
inferred← citeshttps://doi.org/10.7146/brics.v12i22.21888openalex-snapshot
A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines
inferred← citeshttps://doi.org/10.7146/brics.v12i24.21890openalex-snapshot
An Operational Foundation for Delimited Continuations in the CPS Hierarchy
inferred← citeshttps://doi.org/10.7146/brics.v12i36.21903openalex-snapshot
On the Static and Dynamic Extents of Delimited Continuations
inferred← citeshttps://doi.org/10.7146/brics.v12i38.21905openalex-snapshot
A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines
inferred← citeshttps://doi.org/10.7146/brics.v15i3.21938openalex-snapshot
A Study of Syntactic and Semantic Artifacts and its Application to Lambda Definability, Strong Normalization, and Weak Normalization in the Presence of...
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.