Translation of treeprocessing programs into stream-processing programs based on ordered linear type (2004)

by K Kodama, K Suenaga, N Kobayashi, A Yonezawa
Venue:In The 2nd ASIAN Symposium on Programming Languages and Systems, volume 3302 of Lecture Notes in Computer Science