技術書典7: lambda-sun 詳細
関数型言語やラムダ計算について書きます
techbookfest.org