Capretta, V., & Fowler, J. (2017, June). The continuity of monadic stream functions. Presented at 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Reykjavik, Iceland