Type specialization

Authors:
John Hughes
Affiliations:
Department of Computer Science, Chalmers Technical University, S-41296 Göteborg, Sweden
Venue:
ACM Computing Surveys (CSUR) - Special issue: electronic supplement to the September 1998 issue
Year:
1998

Constructor specialization

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

PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Polyvariant specialisation for higher-order, block-structured languages

PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Type specialisation for imperative languages

ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
Evolution of Partial Evaluators: Removing Inherited Limits

Selected Papers from the Internaltional Seminar on Partial Evaluation
Type Specialisation for the lambda-Calculus; or, A New Paradigm for Partial Evaluation Based on Type Inference

Selected Papers from the Internaltional Seminar on Partial Evaluation

The Correctness of Type Specialisation

ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
A Type Specialisation Tutorial

Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School
Tag Elimination and Jones-Optimality

PADO '01 Proceedings of the Second Symposium on Programs as Data Objects
Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages

Journal of Functional Programming

Hi-index	0.00