Rethinking Supercompilation

[sarostru]

http://ndmitchell.com/downloads/paper-rethinking_supercompilation-29_sep_2010.pdf

[gregr]

Here's some related material from about the same time period.

ndmitchell and SPJ share their views about supercompilation: https://www.reddit.com/r/haskell/comments/2s97d0/the_state_and_future_of_supercompilation_in_ghc/

Bolingbroke's and SPJ's work on supercompilation:

part1: https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/supercomp-by-eval.pdf

termination combinators for supercompilation (generalizes tag-bags and homeomorphic embedding): https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/termination-combinators.pdf

part 2 (tag-bags, rollback, speculation, normalization, generalization): https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/design-space.pdf

Bolingbroke's thesis: https://www.microsoft.com/en-us/research/wp-content/uploads/2016/11/bolingbroke-thesis.pdf

[dxnn]

Maybe after our session types arc we'll pick up this supercompilation thread!