Compositional Recursion Analysis for Certifying Parallelizability of First-Order Functional Programs
Presentation at the 38th Symposium on Implementation and Application of Functional Languages (IFL), in Gothenburg, Sweden, on October 29, 2026.
Presentation at the 38th Symposium on Implementation and Application of Functional Languages (IFL), in Gothenburg, Sweden, on October 29, 2026.