On the public citation graph
Sound specialization in the presence of computational effects
0 signed · 59 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/3540543961_24openalex-snapshot
For a better support of static data flow
inferredcites →https://doi.org/10.1007/bf01019462openalex-snapshot
Reasoning about programs in continuation-passing style
inferredcites →https://doi.org/10.1007/bfb0026825openalex-snapshot
Efficient multi-level generating extensions for program specialization
inferredcites →https://doi.org/10.1007/bfb0026826openalex-snapshot
Mechanically verifying the correctness of an offline partial evaluator
inferredcites →https://doi.org/10.1016/0167-6423(91)90002-fopenalex-snapshot
Automatic autoprojection of recursive equations with global variables and abstract data types
inferredcites →https://doi.org/10.1016/0304-3975(75)90017-1openalex-snapshot
Call-by-name, call-by-value and the λ-calculus
inferredcites →https://doi.org/10.1016/c2009-0-14341-6openalex-snapshot
The Lambda Calculus - Its Syntax and Semantics
inferredcites →https://doi.org/10.1016/s1571-0661(05)80155-0openalex-snapshot
A categorical account of two-level languages
inferredcites →https://doi.org/10.1017/cbo9780511526572openalex-snapshot
Two-Level Functional Languages
inferredcites →https://doi.org/10.1017/cbo9780511809088openalex-snapshot
Introduction to Lattices and Order
inferredcites →https://doi.org/10.1017/s0956796800000769openalex-snapshot
Efficient analyses for realistic off-line partial evaluation
inferredcites →https://doi.org/10.1017/s0956796800000770openalex-snapshot
Correctness of binding-time analysis
inferredcites →https://doi.org/10.1017/s0956796800000782openalex-snapshot
Specifying the correctness of binding-time analysis
inferredcites →https://doi.org/10.1017/s0956796809990074openalex-snapshot
Revised 6 Report on the Algorithmic Language Scheme
inferredcites →https://doi.org/10.1017/s0960129597002405openalex-snapshot
A computational formalization for partial evaluation
inferredcites →https://doi.org/10.1109/lics.1989.39155openalex-snapshot
Computational lambda-calculus and monads
inferredcites →https://doi.org/10.1109/lics.1996.561317openalex-snapshot
A temporal-logic approach to binding-time analysis
inferredcites →https://doi.org/10.1145/128861.128864openalex-snapshot
A self-applicable partial evaluator for the lambda calculus
inferredcites →https://doi.org/10.1145/141471.141483openalex-snapshot
Improving binding times without explicit CPS-conversion
inferredcites →https://doi.org/10.1145/155090.155113openalex-snapshot
The essence of compiling with continuations
inferredcites →https://doi.org/10.1145/158511.158524openalex-snapshot
Imperative functional programming
inferredcites →https://doi.org/10.1145/174675.178053openalex-snapshot
A generic account of continuation-passing styles
inferredcites →https://doi.org/10.1145/182409.182483openalex-snapshot
Continuation-based partial evaluation
inferredcites →https://doi.org/10.1145/237721.237788openalex-snapshot
A modal analysis of staged computation
inferredcites →https://doi.org/10.1145/3011069openalex-snapshot
A Temporal Logic Approach to Binding-Time Analysis
inferredcites →https://doi.org/10.1145/382130.382133openalex-snapshot
Revised 4 report on the algorithmic language scheme
inferredcites →https://doi.org/10.7551/mitpress/2319.001.0001openalex-snapshot
The Definition of Standard ML
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-44898-5_21openalex-snapshot
Continuation-Based Partial Evaluation without Continuations
inferred← citeshttps://doi.org/10.1007/3-540-45821-2_1openalex-snapshot
Program Generation, Termination, and Binding-Time Analysis
inferred← citeshttps://doi.org/10.1007/3-540-47018-2_17openalex-snapshot
Aspects of the PGG System: Specialization for Standard Scheme
inferred← citeshttps://doi.org/10.1007/3-540-47018-2_2openalex-snapshot
An Introduction to Online and Offline Partial Evaluation Using a Simple Flowchart Language
inferred← citeshttps://doi.org/10.1007/3-540-47018-2_7openalex-snapshot
Partial Evaluation for the Lambda Calculus
inferred← citeshttps://doi.org/10.1007/3-540-49366-2_15openalex-snapshot
Two Flavors of Offine Partial Evaluation
inferred← citeshttps://doi.org/10.1007/978-3-319-30936-1_17openalex-snapshot
The Essence of Multi-stage Evaluation in LMS
inferred← citeshttps://doi.org/10.1007/bfb0053576openalex-snapshot
A generic framework for specialization (abridged version)
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80691-7openalex-snapshot
Monadic Type Systems: Pure Type Systems for Impure Settings (Preliminary Report)
inferred← citeshttps://doi.org/10.1017/s0956796802004586openalex-snapshot
Program specialization for execution monitoring
inferred← citeshttps://doi.org/10.1017/s0956796819000054openalex-snapshot
A SQL to C compiler in 500 lines of code
inferred← citeshttps://doi.org/10.1023/a:1010000206149openalex-snapshot
CPS Translations and Applications: The Cube and Beyond
inferred← citeshttps://doi.org/10.1023/a:1012984529382openalex-snapshot
A Hybrid Approach to Online and Offline Partial Evaluation
inferred← citeshttps://doi.org/10.1145/1011508.1011510openalex-snapshot
Polymorphic specialization for ML
inferred← citeshttps://doi.org/10.1145/1108970.1108973openalex-snapshot
Termination analysis and specialization-point insertion in offline partial evaluation
inferred← citeshttps://doi.org/10.1145/1140335.1140360openalex-snapshot
A modal type system for multi-level generating extensions with persistent code
inferred← citeshttps://doi.org/10.1145/289121.289134openalex-snapshot
Foundations for partial evaluation of functional programs with computational effects
inferred← citeshttps://doi.org/10.1145/2998392.2998399openalex-snapshot
Reflections on LMS: exploring front-end alternatives
inferred← citeshttps://doi.org/10.1145/328690.328694openalex-snapshot
Online-and-offline partial evaluation (extended abstract)
inferred← citeshttps://doi.org/10.1145/328690.328697openalex-snapshot
A sound reduction semantics for untyped CBN multi-stage computation. Or, the theory of MetaML is non-trival
inferred← citeshttps://doi.org/10.1145/328691.328697openalex-snapshot
A sound reduction semantics for untyped CBN multi-stage computation. Or, the theory of MetaML is non-trival
inferred← citeshttps://doi.org/10.1145/3839477openalex-snapshot
When Do Staging Annotations Preserve Semantics? Mechanizing Typed Semantics-Preserving Multi-stage Programming with Let-Insertion
inferred← citeshttps://doi.org/10.1145/581478.581505openalex-snapshot
Program generation, termination, and binding-time analysis
inferred← citeshttps://doi.org/10.48456/tr-865openalex-snapshot
I/O Optimisation and elimination via partial evaluation
inferred← citeshttps://doi.org/10.5555/1760267.1760297openalex-snapshot
Continuation-based partial evaluation without continuations
inferred← citeshttps://doi.org/10.7146/brics.v12i34.21901openalex-snapshot
Formal Aspects of Polyvariant Specialization
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.