Reading log


Heh, can you tell that the POPL submission deadline was last week?

Added [Cutler2023], which provides a typing framework for streaming data. I haven't done much with streaming data recently, though it was very front of mind with the network analysis sensor we wrote at RedJack.

[Cutler2023] Stream types