Japanese 型クラス Cited by user Poshnegev on 13 Dec 2021 （計算機科学の）型クラス（Type class）は、をサポートする型システムの機能である。などでののにを付加して、関数オーバーロードと演算子オーバーロードを実現するのが元々の目的になる。.
English Mogensen–Scott encoding Cited by user Cwjnkins on 21 Jan 2020 In computer science, Scott encoding is a way to represent (recursive) data types in the lambda calculus.
English Type class Cited by user Citation bot on 30 Jan 2019 In computer science, a type class is a type system construct that supports ad hoc polymorphism.