Searching for "Translation of tree-processing programs into stream-processing programs based on ordered linear type." – sorted by Relevance.
-
NAOKI KOBAYASHI
- Programs into Stream-processing Programs based on Ordered Linear Type ∗ KOICHI KODAMA Tokyo Institute
- Add To MetaCart

