Translation of Tree-Processing Programs into Stream-Processing Programs Based on Ordered Linear Type.
Koichi Kodama, Kohei Suenaga, Naoki Kobayashi
Browse the full APLAS paper archive.
Koichi Kodama, Kohei Suenaga, Naoki Kobayashi
Browse the full APLAS paper archive.