Concrete Stream Calculus: An Extended Study (2010)

by Ralf Hinze
Venue:Journal of Functional Programming