Type-Safe Evolution of Web Services. - João Campinhos; João Costa Seco; Jácome Cunha (VACE@ICSE, 2017)