Generate and offshore: type-safe and modular code generation for low-level optimization.

Naoki Takashima, Hiroki Sakamoto, Yukiyoshi Kameyama

Browse the full ICFP paper archive.