📚 A collection of resources about supercompilation
performance functional-programming static-analysis symbolic-execution type-theory program-analysis program-transformation supercompilation program-optimization
-
Updated
Jun 21, 2025