Category:型理論
ダック・タイピング
Duck typing数学的構造
Mathematical structureカリー=ハワード同型対応
Curry–Howard correspondenceデータ型
Data typeリスコフの置換原則
Liskov substitution principleラムダ・キューブ
Lambda cube依存型
Dependent type順序対
Ordered pairSystem F
System F値 (計算機科学)
Value (computer science)カインド (型理論)
Kind (type theory)型消去
Type erasure共変性と反変性 (計算機科学)
Covariance and contravariance (computer science)サブタイピング (計算機科学)
Subtyping住性 (型理論)
Type inhabitation変数 (プログラミング)
Variable (computer science)Nullable型
Nullable type新基礎集合論
New Foundations型クラス
Type class始代数
Initial algebra直観主義型理論
Intuitionistic type theoryOption型
Option type型推論
Type inference型付きラムダ計算
Typed lambda calculus抽象データ型
Abstract data type型理論
Type theory