離散数学―コンピュータサイエンスの基礎数学 (マグロウヒル大学演習)

数学初心者のための「型システム入門」入門 - 廻る技術の覗き穴

社内で「TaPLで殴りあう会*1」が開催されるというので、型システム入門(通称TaPL: Types and Programming Languages)を購入したものの、内容が難しくて序盤からまったくと言っていいほど読み進めることができませんでした。 型システム入門 −プログラミング言語と型の理論− 作者: Benjamin C. Pierce,住井英二郎,遠藤侑...