git @ Cat's Eye Technologies The-Glosscubator / master by-topic / Partial Evaluation
master

Tree @master (Download .tar.gz)

Partial Evaluation

(Up) | Wikipedia: Partial evaluation | See also: PLDI

Works relating to partial evaluation, a technique for transforming programs into other programs by evaluating parts of them and leaving other parts unevaluated.

Web resources

Partial evaluation - Wikipedia

Compile-time function execution - Wikipedia

Compile-time calculation - Rosetta Code ★

Papers

Tutorial on Online Partial Evaluation ★★★ 💭

Tutorial notes on partial evaluation ★ 💭

Partial Evaluation of Computation Process—An Approach to a Compiler-Compiler 🏛️

A partial evaluator for the untyped lambda-calculus 🏛️

MacoCaml: Staging Composable and Compilable Macros ★

Staged Compilation with Module Functors

Books

Partial Evaluation and Automatic Program Generation (online @ www.itu.dk)

Partial evaluation : practice and theory (online @ archive.org) ★ 💭

History of by-topic / Partial Evaluation @master git clone https://git.catseye.tc/The-Glosscubator/