Title: Programming language design with polymorphism