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