Ordered Types for Stream Processing of Tree-Structured Data ∗

by Ryosuke Sato , Kohei Suenaga , Naoki Kobayashi