言及状況

はてなブックマーク (4 users, 4 posts)

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

Twitter (8 users, 11 posts, 9 favorites)

型とはから始まってるしいいかも https://t.co/3pRziO7epE
@nf_spitz あーなるほど。型理論かな? https://t.co/2zUK8mOviG
型理論 https://t.co/X3I9zQZdNz https://t.co/pVZS2E2ggJ https://t.co/3wt85m0a2N https://t.co/t5xJCZ6qkK
@its_out_of_tune あと「型理論」シリーズ http://t.co/DMUya0cJY1 http://t.co/a6pJ3TFiMY http://t.co/fptcjalwaH http://t.co/ndmFmPcGFs
@ccccccccandy 型推論というか型理論だけなら、基礎論の知識なくてもこの PDF がわかりやすいよー http://t.co/ufpnR0XL http://t.co/uaVrg0Yc http://t.co/rj5VsHjb http://t.co/28lLSO9O
@fumieval この辺りのはどうでしょう? http://t.co/ghIaVd4W http://t.co/CAyFBsy7 http://t.co/hb6zxI3l http://t.co/SaOzKwT6
RT @dico_leque : あとで読もう的にブックマークしていた http://ci.nii.ac.jp/naid/110003743606/ のことを今思い出す
RT @dico_leque : あとで読もう的にブックマークしていた http://ci.nii.ac.jp/naid/110003743606/ のことを今思い出す
あとで読もう的にブックマークしていた http://ci.nii.ac.jp/naid/110003743606/ のことを今思い出す

収集済み URL リスト