A modern supercompiler for call-by-value functional languages
compiler
functional
functional-programming
intermediate-representation
language
optimization
performance
program-analysis
programming-language
static-analysis
supercompiler
symbolic-execution
Updated 2024-11-11 19:42:20 +00:00