論文紹介: Unboxed objects and polymorphic typing論文紹介: Unboxed objects and polymorphic typing Presentation Transcript 関数型 LT 大会 Unboxed objects and polymorphic typing nomaddo@no maddo 東北大学大学院 情報科学研究科 2014 年 5 月 11 日 Who am I? @no maddo OCaml, SML#, Emacs Haskell は分かりません…。 • 東北大学の大学院生 (M1) • 論理学とか型理論とかコンパイラとか勉強してます • 趣味は list-package で拡張プラグインのリストを眺めること • 艦これでなら山城・扶桑が好きです • インターン先を探しています！ 2 / 37 東北大ってどんなとこ？ 3 / 37 東北大ってどんなとこ？ A. 山です 3 / 37 東北大ってどん
