¶Reading log
2023-07-20
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.