Translation of tree-processing programs into stream-processing programs based on ordered linear type. - Koichi Kodama; Kohei Suenaga; Naoki Kobayashi 001 (J. Funct. Program., 2008)