漸進的型付け

漸進的型付けは Siek や Taha によって提案された、一つの型システムの中で静的型付けと動的型付けが共同する型システムです。

現在は田邉が京都大学やNIIと共に、漸進的型付けのための型理論や効率的な実装に関する共同研究を行っています。