Generating (mutually) recursive definitions: The first formal model that uniformly treats let-, letrec- and mutually-letrec--insertion, without any continuation or state effects
Highest-performance Stream Processing: New version of the strymonas library, generating high-performance OCaml and C code from declarative stream pipelines