A Formal Framework with Late Binding