MDCC TechTalk - Fun with type functions
Nov 22, 2011 at 1:40 PM
martinesmann
(2)
by Simon Peyton Jones, Principal Researcher, Microsoft Research Today's most widely used technology, by far, for static program verification is the ubiquitous type checker. Alas, static type systems inevitably exclude some good programs; and allow some bad ones. Thus motivated, Simon describes…