日本ソフトウェア科学会 チュートリアル「Java言語の最新事情」配布資料
公開されてます.
http://vh.itc.u-tokyo.ac.jp/java/
前者しか読んでませんが,ワイルドカード型の共変・反変についてかなりページを割いて説明してあったりと資料価値は高いかと.
ただ,58 ページの C# についての記述はちょっと気になりますかね.
んー,少なくとも MS CLR は erasure 変換も「基本型が引数の場合だけ具体化した定義を生成」もやってないと思うんですけどなー どちらかというと「実行時まで型引数情報をとっておく」だと思いますけど.この部分,会場でどういうトークだったのか気になります.
ただ,mscorlib に定義された generics 型と値型に絡む NGen 可能性みたいな話がややこしいのは確か.詳しくはこの辺をどうぞ.