型理論-1- (関数型プログラミングと計算の基礎<特集>)

[paper][type]

[type][logic][programming][lambda][functional]

[type_theory]

型とはから始まってるしいいかも https://t.co/3pRziO7epE

@nf_spitz あーなるほど。型理論かな？ https://t.co/2zUK8mOviG

@its_out_of_tune あと「型理論」シリーズ http://t.co/DMUya0cJY1 http://t.co/a6pJ3TFiMY http://t.co/fptcjalwaH http://t.co/ndmFmPcGFs

2 @its_out_of_tune @kohyama

@ccccccccandy 型推論というか型理論だけなら、基礎論の知識なくてもこの PDF がわかりやすいよー　http://t.co/ufpnR0XL http://t.co/uaVrg0Yc http://t.co/rj5VsHjb http://t.co/28lLSO9O

1 @ccccccccandy

@fumieval この辺りのはどうでしょう？ http://t.co/ghIaVd4W http://t.co/CAyFBsy7 http://t.co/hb6zxI3l http://t.co/SaOzKwT6

3 @fumieval @nonamea774 @taninsw

RT @dico_leque : あとで読もう的にブックマークしていた http://ci.nii.ac.jp/naid/110003743606/ のことを今思い出す

あとで読もう的にブックマークしていた http://ci.nii.ac.jp/naid/110003743606/ のことを今思い出す