査読有り 2014年 A Simple and Practical Linear Algebra Library Interface with Static Size Checking The OCaml Users and Developers Workshop Akinori Abe, Eijiro Sumii 開始ページ 1 終了ページ 3 記述言語 英語 掲載種別 研究論文(国際会議プロシーディングス) リンク情報 URLhttps://ocaml.org/meetings/ocaml/2014/program.html エクスポート BibTeX RIS