Return to Article Details Safety Analysis versus Type Inference for Partial Types Download Download PDF