@inproceedings{LOPSTR-2005-SuenagaKY,
author = "Kohei Suenaga and Naoki Kobayashi and Akinori Yonezawa",
booktitle = "{Revised Selected Papers of the 15th International Symposium on Logic Based Program Synthesis and Transformation}",
doi = "10.1007/11680093_7",
isbn = "3-540-32654-5",
pages = "98--114",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Extension of Type-Based Approach to Generation of Stream-Processing Programs by Automatic Insertion of Buffering Primitives}",
volume = 3901,
year = 2005,
}
Tags: