The closest thing to Swift’s approach to polymorphism in the academic world is intensional polymorphism:

https://www.cs.cmu.edu/~rwh/papers/intensional/popl95.pdf