Inside 214-1E

Existential Pontification and Generalized Abstract Digressions

My type signature overfloweth

I’ve recently started researching the use of session types for practical coding, a thought that has been in the back of my mind ever since I was part of a team that built a networked collaborative text editor and spent a lot of time closely vetting the server and the client to ensure that they […]

  • September 1, 2010