Translation of tree-processing programs into stream-processing programs based on ordered linear type.

Koichi Kodama Kohei Suenaga Naoki Kobayashi Translation of tree-processing programs into stream-processing programs based on ordered linear type. 333-371 2008 18 J. Funct. Program. 3 http://dx.doi.org/10.1017/S0956796807006570 db/journals/jfp/jfp18.html#KodamaSK08