Title: Type assignment in programming languages