R researchblogs.cs.bham.ac.uk The limits of type theory: computation vs. interaction 81 points danghica 11 years ago 66 comments
