型推論 - pogi-log

型推論

#Fleeting_Notes

型推論(type infecence)

項がどの型に属するかを判定する手続き

型付きラムダ計算$ \Lambda

型システム

型環境$ \Gamma

ラムダ式$ M

型判定$ \Gamma ▷ M : τ

参考文献

『型推論特別講義』

型推論 - Wikipedia

確認用

Q. 型推論

参考

『新装版プログラミング言語の基礎理論』

メモ

型推論機構の実装

調査用

/pogi-log/Google.icon 型推論

/pogi-log/Google.icon type inferece

/pogi-log/Wikipedia.icon

型推論 - Wikipedia(日)

型推論(検索) - Wikipedia(日)

/pogi-log/Wikipedia.icon

Type inference - Wikipedia(英)

Type inference(検索) - Wikipedia(英)