6 results for “topic:supercompilation”
📚 A collection of resources about supercompilation
A SuperCompiler for Martin-Löf's Type Theory
SC Mini is a "minimal" positive supercompiler
A toolkit for building multi-result supercompilers
A simple positive supercompiler.
The Haskell Supercompiler Project aims to bring back supercompilation to Haskell.