On the complexity of stream equality

Jörg Endrullis, Dimitri Hendriks, Rena Bakhshi, Grigore Rosu. On the complexity of stream equality. Journal of Functional Programming, 24(2-3):166-217, 2014. [doi]

Abstract

Abstract is missing.