型システム入門 プログラミング言語と型の理論 発売ニュースに沸き立つTL

超電磁ねこきっく @finalfusion

tapl かな＞型システム本

takumn @takumn

TAPLの日本語版がそう遠くない未来に出るなんて全然知らんかった

オーム社開発部 @ohmsha_kaihatsu

2012年3月新刊予定：型システム入門 プログラミング言語と型の理論 - http://t.co/1ZKVYOPt

ぐるぐる系SQL @bleis

TAPL日本語版来た！

ᓬᐓᔒᐓᓳᐓᔙᐓᓙᐓᓠᐓ @razon

2012年3月新刊予定：型システム入門 プログラミング言語と型の理論 - オーム社開発部 - MPを高めておかねば…！ http://t.co/dqY4JkOr

しょーま @shomah4a

TaPL 読みましょう読みましょう

きょん＠アジャイルコーチ、システムアーキテクト @kyon_mm

共訳者の #なごやこわい 率がパネェ。。。 / “2012年3月新刊予定：型システム入門 プログラミング言語と型の理論 - オーム社開発部” http://t.co/ZeTuW5No

でぃー(Dee) @wdko

型システム入門ですって！！

トデス子'\ @todesking

型システム入門ってTAPLのことか!!!

takashabe @takashabe

TAPLだ！ / 2012年3月新刊予定：型システム入門 プログラミング言語と型の理論 - オーム社開発部 http://t.co/HYpp7WYo via @zenback

kakkun61 @kakkun61

TaPL が翻訳されるん。

(｢・ω・)｢ｶﾞｵｰ @bicycle1885

え、TAPLの和訳がもう出るなんて聞いてないですよ！

ᓬᐓᔒᐓᓳᐓᔙᐓᓙᐓᓠᐓ @razon

TLがTaPLまみれ #ただし個人差があります

みくら @qio_op

へー / 2012年3月新刊予定：型システム入門 プログラミング言語と型の理論 - オーム社開発部 http://t.co/bdNLjHAG

しょーま @shomah4a

TaPL 社内読書会の開催が決定した模様

うすい @_tusui

名古屋に今井さんって集結してるの？ / 2012年3月新刊予定：型システム入門 プログラミング言語と型の理論 - オーム社開発部 http://t.co/nKaOl3xT #Zenback @zenbackさんから

ぎゃばん -1.0 @ledsun

興味はあるけど600ページはちょっと・・・。 / “2012年3月新刊予定：型システム入門 プログラミング言語と型の理論 - オーム社開発部” http://t.co/hiqshQcL

とむ @masquerade0324

TaPL日本語版600ページか．というか，監訳の中に「今井」という苗字が3つもある！

Kazuhiro Hara 𝕏 @kara_d

「型システム入門 プログラミング言語と型の理論」は買おうっと。

saiias @sa__i

tapl翻訳本でるのか、これまで読まなかったかいがあるな…　#クズ

ْ @pepeky

TAPL来たのだわ～

とむ @masquerade0324

情報系M1でTaPL邦訳版出たら読書会したいな．

トデス子'\ @todesking

TAPL読みましたよ……

Jun Ohtani @johtani

SICPとTAPLとあと読まないといけない本ってどのくらいあるんだろう。

natsutan @natsutan

これか！ / “2012年3月新刊予定：型システム入門 プログラミング言語と型の理論 - オーム社開発部” http://t.co/wudW0iEG