Partial evaluation reconciles generality with efficiency by providing automatic specialization
and optimization of programs. Proceeding from a gentle introduction for reaching state-of-the …

This paper investigates the transformation of v-terms into continuation-passing style (CPS).
We show that by appropriate-expansion of Fischer and Plotkin's two-pass equational speci …

Tutorial notes on partial evaluation Page 1 Tutorial Notes on Partial Evaluation Charles Consel
Olivier Danvy Pacific Software Research Center Department of Computing and Info. Sciences …

We present a strikingly simple partial evaluator, that is type-directed and reifies a compiled
program into the text of a residual, specialized program. Our partial evaluator is concise (a …

We show that standard formulations of intersection type systems are unsound in the
presence of computational effects, and propose a solution similar to the value restriction for …

In today's interconnected digital world, targeted attacks have become a serious threat to
conventional computer systems and critical infrastructure alike. Many researchers contribute …

Self-applicable partial evaluation has been implemented for half a decade now, but many
problems remain open. This paper addresses and solves the problems of automating call …

The Structure of Typed Programming Languages describes the fundamental syntactic and
semantic features of modern programming languages, carefully spelling out their impacts on …

Languages that integrate functional and logic programming with a complete operational
semantics are based on narrowing, a unification-based goal-solving mechanism which …

Domain-specific languages (DSLs) can be viewed from both a programming language and
a software architecture perspective. The goal of this paper is to relate the two viewpoints. In …