Home Gudgeon and gist Lambda the Ultimate - Programming Languages Weblog Dynamic Witnesses for Static Type Errors (or, ill-typed programs usually go wrong)