Blame and coercion: together again for the first time
Gradual typing embedded securely in JavaScript