AnyDSL: A Partial Evaluation Framework for Programming High-Performance Libraries

[OOPSLA] Partial Evaluation of Machine CodeПодробнее

Олег Шелаев — Суперкомпиляция, partial evaluation, проекции Футамуры и как GraalVM спасет мирПодробнее

Partial Evaluation II - 2018.1Подробнее

First thoughts on partial evaluation in effectful intermediate languagesПодробнее

er21demo04 Partial EvaluationПодробнее

Thomas Wuerthinger - Practical Partial Evaluation for High-Performance Dynamic Language RuntimesПодробнее

Read a paper: Practical Partial Evaluation for High-Performance Dynamic Language RuntimesПодробнее

Tom Stuart - Compilers for FreeПодробнее

Dr Futamura's Projection Machine!Подробнее

Reigniting Fuse, an Online Partial Evaluator for SchemeПодробнее

[PEPM 2021] Coq to C Translation with Partial Evaluation + Counterexample GenerationПодробнее

Partial Evaluation Based CPS Transformation: An Implementation Case StudyПодробнее

AnyDSL: Generating Highly Optimized, Customized, Cross-Platform Ray-Tracers (FMX2015)Подробнее

Second partial evaluationПодробнее

[PEPM'22] A partial history of partial evaluationПодробнее