On polymorphic gradual typingYuu IgarashiTaro Sekiyamaet al.2017Proceedings of the ACM on Programming Languages