On the public citation graph

The essence of eta-expansion in partial evaluation

https://doi.org/10.1007/bf01019004

0 signed · 58 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-54396-1openalex-snapshot

Functional Programming Languages and Computer Architecture

inferredcites →https://doi.org/10.1007/3-540-55511-0_15openalex-snapshot

Correctness of procedure representations in higher-order assembly language

inferredcites →https://doi.org/10.1007/3540543961_24openalex-snapshot

For a better support of static data flow

inferredcites →https://doi.org/10.1007/3540543961_9openalex-snapshot

Automatic online partial evaluation

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/0167-6423(91)90035-vopenalex-snapshot

Automatic autoprojection of higher order recursive equations

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.1017/cbo9780511526572openalex-snapshot

Two-Level Functional Languages

inferredcites →https://doi.org/10.1017/s0956796800000770openalex-snapshot

Correctness of binding-time analysis

inferredcites →https://doi.org/10.1017/s0960129500001535openalex-snapshot

Representing Control: a Study of the CPS Transformation

inferredcites →https://doi.org/10.1145/141471.141483openalex-snapshot

Improving binding times without explicit CPS-conversion

inferredcites →https://doi.org/10.1145/154630.154632openalex-snapshot

Partial evaluation of general parsers

inferredcites →https://doi.org/10.1145/154630.154633openalex-snapshot

Constructor specialization

inferredcites →https://doi.org/10.1145/154630.154638openalex-snapshot

Polyvariant binding-time analysis for applicative languages

inferredcites →https://doi.org/10.1145/154630.154645openalex-snapshot

A tour of Schism

inferredcites →https://doi.org/10.1145/158511.158707openalex-snapshot

Tutorial notes on partial evaluation

inferredcites →https://doi.org/10.1145/165180.165227openalex-snapshot

Compiling actions by partial evaluation

inferredcites →https://doi.org/10.1145/182409.182483openalex-snapshot

Continuation-based partial evaluation

What points at this work

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

inferred← citeshttps://doi.org/10.1002/9781118576984.biblioopenalex-snapshot

Bibliography

inferred← citeshttps://doi.org/10.1007/3-540-45699-6_4openalex-snapshot

Normalization and Partial Evaluation

inferred← citeshttps://doi.org/10.1007/3-540-47018-2_15openalex-snapshot

Eta-Redexes in Partial Evaluation

inferred← citeshttps://doi.org/10.1007/3-540-47018-2_16openalex-snapshot

Type-Directed Partial Evaluation

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-48294-6_8openalex-snapshot

Binding-Time Analysis for Both Static and Dynamic Expressions

inferred← citeshttps://doi.org/10.1007/3-540-49366-2_15openalex-snapshot

Two Flavors of Offine Partial Evaluation

inferred← citeshttps://doi.org/10.1007/3-540-61580-6_23openalex-snapshot

Self-applicable online partial evaluation

inferred← citeshttps://doi.org/10.1007/3-540-61580-6_5openalex-snapshot

Pragmatics of type-directed partial evaluation

inferred← citeshttps://doi.org/10.1007/bf03037258openalex-snapshot

Binding-time analysis for both static and dynamic expressions

inferred← citeshttps://doi.org/10.1007/bfb0030638openalex-snapshot

A unified framework for binding-time analysis

inferred← citeshttps://doi.org/10.1007/bfb0032749openalex-snapshot

Effective specialization of realistic programs via use sensitivity

inferred← citeshttps://doi.org/10.1007/bfb0055521openalex-snapshot

Strong normalization by type-directed partial evaluation and run-time code generation

inferred← citeshttps://doi.org/10.1007/s10990-008-9033-5openalex-snapshot

An investigation of Jones optimality and BTI-universal specializers

inferred← citeshttps://doi.org/10.1016/s0304-3975(00)00053-0openalex-snapshot

MetaML and multi-stage programming with explicit annotations

inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80148-3openalex-snapshot

Correctness of a Region-Based Binding-Time Analysis

inferred← citeshttps://doi.org/10.1017/s0960129597002405openalex-snapshot

A computational formalization for partial evaluation

inferred← citeshttps://doi.org/10.1145/1011508.1011510openalex-snapshot

Polymorphic specialization for ML

inferred← citeshttps://doi.org/10.1145/236114.236119openalex-snapshot

Eta-expansion does The Trick

inferred← citeshttps://doi.org/10.1145/237721.237784openalex-snapshot

Type-directed partial evaluation

inferred← citeshttps://doi.org/10.1145/258993.258999openalex-snapshot

A type-directed, on-line, partial evaluator for a polymorphic language

inferred← citeshttps://doi.org/10.1145/258993.259019openalex-snapshot

Multi-stage programming with explicit annotations

inferred← citeshttps://doi.org/10.1145/258994.258999openalex-snapshot

A type-directed, on-line, partial evaluator for a polymorphic language

inferred← citeshttps://doi.org/10.1145/258994.259019openalex-snapshot

Multi-stage programming with explicit annotations

inferred← citeshttps://doi.org/10.1145/2643135.2643146openalex-snapshot

A Type Theoretic Specification of Partial Evaluation

inferred← citeshttps://doi.org/10.1145/2658761.2658775openalex-snapshot

Compiling a reflective language using MetaOCaml

inferred← citeshttps://doi.org/10.1145/2661103.2661109openalex-snapshot

Hygienic quasiquotation in scheme

inferred← citeshttps://doi.org/10.1145/2775053.2658775openalex-snapshot

Compiling a reflective language using MetaOCaml

inferred← citeshttps://doi.org/10.1145/3110273openalex-snapshot

Staged generic programming

inferred← citeshttps://doi.org/10.4230/lipics.types.2014.72openalex-snapshot

Typeful Normalization by Evaluation

inferred← citeshttps://doi.org/10.6083/m4td9vjbopenalex-snapshot

Multi-state programming : its theory and applications

inferred← citeshttps://doi.org/10.7146/aul.214.152openalex-snapshot

An Analytical Approach to Programs as Data Objects

inferred← citeshttps://doi.org/10.7146/brics.v10i14.21784openalex-snapshot

From Interpreter to Compiler and Virtual Machine: A Functional Derivation

inferred← citeshttps://doi.org/10.7146/brics.v3i15.19977openalex-snapshot

Pragmatic Aspects of Type-Directed Partial Evaluation

inferred← citeshttps://doi.org/10.7146/brics.v3i17.19979openalex-snapshot

Eta-Expansion Does The Trick (Revised Version)

inferred← citeshttps://doi.org/10.7146/brics.v3i34.20015openalex-snapshot

A Computational Formalization for Partial Evaluation (Extended Version)

inferred← citeshttps://doi.org/10.7146/brics.v4i43.18969openalex-snapshot

Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation (Preliminary Version)

inferred← citeshttps://doi.org/10.7146/brics.v4i53.19274openalex-snapshot

Online Type-Directed Partial Evaluation

inferred← citeshttps://doi.org/10.7146/dpb.v24i494.7022openalex-snapshot

Type-Directed Partial Evaluation

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.