¶Supercompilation

Supercompilation: Ideas and methods [PDF, Monad.Reader]

Solving SAT via positive supercompilation [hirrolot]

» Theory

This page is also available via Gemini at gemini://dcreager.net/theory/supercompilation/