ストリームの型に関する基礎理論の提案

ストリームの型は複雑な時系列パターンと並列構造を表現できるべきであり、並列処理システムでも決定論的な動作を保証すべきである。