言及状況

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

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

Twitter (5 users, 6 posts, 7 favorites)

@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

収集済み URL リスト