【書籍】型システム入門 プログラミング言語と型の理論
- 2013.03.07 Thursday
- 00:41
型システム入門 プログラミング言語と型の理論
http://www.ohmsha.co.jp/kaihatsu/archive/2013/01/17112000.html
ちょっと気になるのでメモです。きっと私のような若輩者には手も足も出ないような内容で買ってもお部屋の飾りになるような気がしますが・・・・ほしいなー。
コメント
コメントする
この記事のトラックバックURL
トラックバック
calendar
あわせて読みたい
selected entries
- 【書籍】型システム入門 プログラミング言語と型の理論 (03/07)
categories
- WPF (466)
- Silverlight (18)
- .NET Framework (70)
- Unity Application Block (11)
- C# (112)
- C#4.0 (14)
- Entity Framework (1)
- F# (36)
- Haskell (3)
- HTML5 (5)
- Java (1)
- JavaScript (2)
- LINQ (12)
- MEF (24)
- Microsoft (1)
- MOSS (4)
- MySql (1)
- NetOffice (83)
- Oracle (11)
- Oslo (1)
- PowerShell (3)
- Razor (1)
- Reactive Extensions (1)
- Seasar.NET (4)
- Solaris (1)
- SQL (1)
- SQL Server (1)
- Visual Studio 2008 (4)
- Visual Studio 2010 (3)
- Visual Studio 2012 (5)
- Visual Studio Online (2)
- Web サーバ 導入キット (9)
- Windows Azure (1)
- Windows Azure (1)
- Windows Phone 7 (4)
- Windows Server 2008 (5)
- Windows Vista (1)
- Windows7 (5)
- Windows8.1 (1)
- XAML (1)
- XNA (1)
- ＷｅｂＭａｔｒｉｘ (1)
- アルゴリズム (8)
- イベント (17)
- コンピュータ全般 (110)
- サーバ構築 (1)
- テスト (1)
- データ構造 (2)
- デザイン (1)
- ユーザインターフェイス (6)
archives
- June 2016 (2)
- May 2016 (2)
- August 2015 (3)
- June 2015 (1)
- May 2015 (1)
- May 2014 (2)
- April 2014 (4)
- March 2014 (13)
- December 2013 (1)
- August 2013 (5)
- June 2013 (1)
- April 2013 (3)
- March 2013 (2)
- February 2013 (8)
- January 2013 (15)
- December 2012 (34)
- November 2012 (71)
- October 2012 (27)
- September 2012 (13)
- August 2012 (21)
- July 2012 (18)
- June 2012 (4)
- May 2012 (3)
- April 2012 (25)
- March 2012 (25)
- February 2012 (39)
- January 2012 (3)
- December 2011 (1)
- November 2011 (2)
- October 2011 (4)
- September 2011 (8)
- August 2011 (12)
- July 2011 (2)
- June 2011 (4)
- May 2011 (39)
- January 2011 (1)
- September 2010 (3)
- August 2010 (5)
- June 2010 (3)
- May 2010 (35)
- April 2010 (12)
- March 2010 (8)
- October 2009 (7)
- September 2009 (1)
- August 2009 (3)
- July 2009 (1)
- May 2009 (16)
- April 2009 (36)
- March 2009 (72)
- February 2009 (90)
- January 2009 (61)
- December 2008 (43)
- November 2008 (59)
- October 2008 (80)
- September 2008 (62)
- August 2008 (51)
- July 2008 (13)
- June 2008 (20)
- May 2008 (14)
- April 2008 (28)
- March 2008 (12)
- February 2008 (1)
- January 2008 (3)
- December 2007 (9)
- November 2007 (9)
- October 2007 (4)
recent comment
- 【キーボード】6年前のRealForceを復活させることはできる！？その３
⇒ art55 (05/22) - 【キーボード】6年前のRealForceを復活させることはできる！？その３
⇒ 分解大好き (05/18) - 【.NET Framework 4.5】 IListがIReadOnlyListを継承してない理由。
⇒ art55 (02/04) - 【.NET Framework 4.5】 IListがIReadOnlyListを継承してない理由。
⇒ Gen (02/04) - 【キーボード】RealForce が壊れて帰ってきた。
⇒ art55 (04/29) - 【.NET Framework 4.5】 IListがIReadOnlyListを継承してない理由。
⇒ art55 (02/23) - 【.NET Framework 4.5】 IListがIReadOnlyListを継承してない理由。
⇒ かるあ (02/22) - 【C#】Dictionaryの実装・データ構造・アルゴリズムを観察する。
⇒ art55 (01/16) - 【C#】Dictionaryの実装・データ構造・アルゴリズムを観察する。
⇒ karuakun (01/16) - 【NetOffice】【Excel】死なないExcelプロセスをKillする。
⇒ art55 (12/05)
recent trackback
- 【.NET】Installerを継承してWindowsサービスをインストールする際に引数を指定。
⇒ ロケッこがゆく (09/24) - 【雑記】ノートパソコン変え買いたい
⇒ これ欲しい (05/25) - 【WPF】【Silverlight】XAML 入門 〜 XML から依存関係プロパティまで〜
⇒ もぼなもな書房 (05/26) - 【雑記】オラクル、サンを買収。
⇒ ガンダムバトルユニバース パスワード (04/24) - 【Web サーバ 導入キット】セキュリティ
⇒ ｋの研究室 (04/15) - 【雑記】Internet Explorer 8 と MSN版Internet Explorer 8
⇒ 無料でダウンロード！！ (03/20) - 【WPF】【Silverlight】Bindingでコントロールが突っ込めない？
⇒ 最新キーワードチェック！ (12/07) - 【WPF】ListBoxやListViewの行番号を出力する。
⇒ .knowledge (10/14)
recommend
recommend
recommend
C#プログラマのための.NETアプリケーション最適化技法 (Programmer's SELECTION) （JUGEMレビュー »）
Sasha Goldshtein,Dima Zurbalev,Ido Flatow,サシャ・ゴルドシュタイン,ディマ・ズルバレフ,イド・フラトー
Sasha Goldshtein,Dima Zurbalev,Ido Flatow,サシャ・ゴルドシュタイン,ディマ・ズルバレフ,イド・フラトー
recommend
recommend
recommend
シャノン・ノイマン・ディジタル世界 （JUGEMレビュー »）
市川 忠男
４章がリレーショナルデータベースな内容になってます。ページ数があまりありませんが、ポイントがものすごく的確にまとまっていて、感動します。
市川 忠男
４章がリレーショナルデータベースな内容になってます。ページ数があまりありませんが、ポイントがものすごく的確にまとまっていて、感動します。
recommend
recommend
東プレ Realforce91UBK-S 静音キーボード 静電容量無接点方式 変荷重 ブラック NG01BS （JUGEMレビュー »）
テンキーレス、静音のRealForce91UBK-S。スコスコ感がたまらなく気持ちいいです。家と会社で２台持ってます。
テンキーレス、静音のRealForce91UBK-S。スコスコ感がたまらなく気持ちいいです。家と会社で２台持ってます。
recommend
recommend
プログラミング.NET Framework 第4版 (プログラミングシリーズ) （JUGEMレビュー »）
Jeffrey Richter
発売予定美 2013年10月10日。.NET Frameworkとお付き合いする人のバイブルですね。
Jeffrey Richter
発売予定美 2013年10月10日。.NET Frameworkとお付き合いする人のバイブルですね。
recommend
recommend
recommend
links
profile
search this site.
others
mobile
powered
