Arity raiser and use in program specialization

Partial type inference for untyped functional programs

LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming

Generalized partial computation for a lazy functional language

PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

Program bifurcation for a polymorphically typed functional language

PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

Constructor specialization

PEPM '93 Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

Optimizing sparse representations for dataflow analysis

IR '95 Papers from the 1995 ACM SIGPLAN workshop on Intermediate representations

Compiling away the meta-level in object-oriented concurrent reflective languages using partial evaluation

Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications

Realistic compilation by partial evaluation

PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation

Type specialisation for imperative languages

ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming

Partial evaluation and separate compilation

PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

Partial-evaluation techniques for concurrent programs

PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

Inherited limits

ACM Computing Surveys (CSUR) - Special issue: electronic supplement to the September 1998 issue

Higher-order arity raising

ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming

A note on elimination of simplest recursions

ASIA-PEPM '02 Proceedings of the ASIAN symposium on Partial evaluation and semantics-based program manipulation

Inherited Limits

Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School

Specifying monogenetic specializers by means of a relation between source and residual programs

PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics

An experiment with the fourth futamura projection

PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics