Partial Evaluation
(Up) | Wikipedia: Partial evaluation | See also: PLDI
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/
- Add another paper on macros in staged compilation. Chris Pressey 11 days ago
- Add a paper on staged compilation. Chris Pressey 11 days ago
- Add Wikipedia links to many topics. Chris Pressey 1 year, 4 months ago
- When rebuilding, rewrite Markdown documents according to schema. Chris Pressey 1 year, 4 months ago
- Update the borrowability status of books listed on archive.org. Chris Pressey 1 year, 4 months ago
- Remove placeholders that are no longer needed with Feedmark 0.16. Chris Pressey 1 year, 4 months ago
- Fix implementation of make_anchor. Feedmark maintainers take note! Chris Pressey 1 year, 6 months ago
- Fix commentary links. Chris Pressey 1 year, 6 months ago
- Extract ratings to own files. Chris Pressey 1 year, 6 months ago
- Rename commentary files. Chris Pressey 1 year, 6 months ago
- Link to commentary on entries that have a detectable amount of it. Chris Pressey 1 year, 9 months ago
- Show ratings on books and papers too. Chris Pressey 1 year, 9 months ago
- Render rating next to each entry that has one, in the READMEs. Chris Pressey 1 year, 9 months ago
- Resources in multiple topics are now rendered in multiple READMEs. Chris Pressey 1 year, 9 months ago
- Rate a paper on Partial Evaluation. Chris Pressey 1 year, 11 months ago
- Format interlinks more usefully. Chris Pressey 2 years ago
- Rate two papers, then add two more papers. Chris Pressey 2 years ago
- Rate a book (actually conference proceedings). Chris Pressey 2 years ago
- Checkpoint removing `src` directories. Chris Pressey 2 years ago
- Fix link. Chris Pressey 2 years ago
- Link back up, add "Web resources" heading to READMEs. Chris Pressey 2 years ago
- Link see-also links to anchor Chris Pressey 2 years ago
- Checkpoint migrating files into `by-topic` directory. Chris Pressey 2 years ago