2016年 Preface for special section from FLOPS 2014 J. Funct. Program. Michael Codish, Eijiro Sumii 巻 26 号 e14 開始ページ 1 終了ページ 2 記述言語 英語 掲載種別 記事・総説・解説・論説等(学術雑誌) DOI 10.1017/S0956796816000149 リンク情報 DOIhttps://doi.org/10.1017/S0956796816000149 ID情報 DOI : 10.1017/S0956796816000149 エクスポート BibTeX RIS