Going WrongRobin Milner on what types can guaranteeMarch 30, 2015Robin Milner:Well-typed programs cannot ‘go wrong’.