Compiler optimizations

The Long Way to Deforestation
Deforestation is a compiler optimization that removes intermediate data structure allocations from functional programs to improve their …
PDF Cite Video DOI Github Project Tech. Report View on conference website
Type-Safe Metaprogramming and Compilation Techniques For Designing Efficient Systems in High-Level Languages
Software engineering practices have been steadily moving towards higher-level programming languages and away from lower-level ones. …
Cite DOI