一部では告知済みですが、プログラミング言語の「型」の教科書と言われる Types and Programming Languages (通称 TAPL) の翻訳チームに参加してます。訳者は、以前の本のメンバー (片岡さんいないけど) だけでなく、OCaml nagoya の人たちに参加してもらっ…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。