Gradual Typing with Efficient Object Casts Extended abstract