@article{oai:ipsj.ixsq.nii.ac.jp:00081621,
 author = {服部, 健太 and Kenta, Hattori},
 issue = {2},
 journal = {情報処理学会論文誌プログラミング（PRO）},
 month = {Mar},
 note = {Hindley/Milner多相型システムは様々なプログラミング言語の型システムの基盤として広く用いられてきた．現実的なプログラミング言語においては，Hindley/Milner多祖型システムの表現力を高める必要があり，多相レコードやオーバロード，型クラスといった数多くの拡張が提案されてきた．これらの拡張は，型変数に述語やカインドといったある種の制約を付け加えることで実現している．我々はHindley/Milner多相型システムを拡張するための新しいアプローチを提示する．我々のアプローチの鍵は，(1)暗黙的に型づけられたプログラムをそれと同等な明示的に型づけられたプログラムに変換し，(2)型レベルでそのプログラムを評価しながら型判定を行う，というものである．我々のアプローチは，制約付きの型のように型システムを複雑化することなく，簡単に拡張することができる．本発表では，例としてオーバロードと多相レコードを扱うシステムについて検討する．, The Hindlely/Milner polymorphic type system has been widely used as the basis of type systems for various programming languages. For realistic programming languages, a number of extensions have been proposed to increase the expressive power of the Hindley/Milner polymorphic type system, such as polymorphic record, overloading and type classes. Basically, these extended type systems are realized by adding certain constraints, which are type kinds and predicates, to type variables. We present a new approach to extending the Hindley/Milner polymorphic type system. The key to our approach are (1) a translation of an implicitly-typed program into an equivalent explicitly-typed program, and (2) the use of type level evaluation for type checking of the program. Our approach easily extends the type system without introducing a complicated type system such as a constrained type. In this presentation, as examples, we consider systems that deal with overloading and polymorphic records.},
 pages = {99--99},
 title = {型レベル評価によるHindley/Milner多相型システムの拡張},
 volume = {5},
 year = {2012}
}