Static Types for Dynamic Targets