Polymorphic manifest contracts, revised and resolvedTaro SekiyamaAtsushi Igarashiet al.2017ACM TOPLAS