News for hackers. Stuff that matters.

A comment on The limits of type theory: computation vs. interaction. Parent comment

Re:The limits of type theory: computation vs. interaction by danghica on Tuesday June 09, 2015 @04:30AM (#9684632)
Indeed, I was going to talk about session types in a follow-on post :) Well anticipated! Cheers!
[ Parent | on HN ]
Re:The limits of type theory: computation vs. interaction by mafribe on Tuesday June 09, 2015 @08:47AM (#9685555)
Good. Session types are not the only approach to typing interaction, although probably the simplest.
[ Parent | on HN ]