Books, Original Papers & Review Papers- Atsushi Ohori -
number of results to view: what to display: sort:
[B]:Books [O]:Original Papers [R]:Review Papers
1.[O] A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects.[Proceedings of the 30th European Concerence on Object Oriented Programming (ECOOP 2016), Leibniz International Proceedings in Informatics (LIPIcs),56(18),(2016),1-25]Atsushi Ohori, Katsuhiro Ueno, Tomohiro Sasaki, Daisuke Kikuchi
2.[O] A Type Safe Access to Key-value Stores from Functional Languages.[Journal of Information Processing,24(1),(2016),141-151]Katsuhiro Ueno, Atsushi Ohori
3.[O] 変数参照関係を用いた関数型プログラムのコードリーディング支援.[コンピュータソフトウェア,32(1),(2015),194-212]遠藤誠典, 百足勇人, 森畑明昌, 上野雄大, 大堀淳
4.[O] SML# in Industry: A Practical ERP System Development.[ACM International Conference on Functional Programming (ICFP),(2014),167-173]Atsushi Ohori, Katsuhiro Ueno, Kazunori Hoshi, Shinji Nozaki, Takashi Sato, Tasuku Makabe, Yuki Ito
5.[O] Dynamic Programming via Thinning and Incrementalization.[International Symposium on Functional and Logic Programming (FLOPS),(2014),186-202]Akimasa Morihata, Masato Koishi, Atsushi Ohori
6.[O] The Essence of Ruby.[Asian Symposium on Programming Languages and Systems (APLAS),(2014),78-98]Katsuhiro Ueno, Yutaka Fukasawa, Akimasa Morihata, Atsushi Ohori
7.[R] LR構文解析の原理.[岩波書店 コンピュータソフトウェア,31(1), (2014), 30-42]大堀 淳
8.[O] 多相レコード計算に基づく軽量な第一級オーバーロードの設計と実装.[コンピュータソフトウェア,29(1),(2012),191-210]上野雄大,大堀淳
9.[O] SML#へのC言語の埋め込み.[コンピュータ ソフトウェア,29(2),(2012),193-203]篠埜 功, 大堀 淳
10.[O] An efficient non-moving garbage collector for functional languages.[Proceedings of ACM International Conference on Functional Programming (ICFP),(2011),196-208]Katsuhiro Ueno, Atsushi Ohori, Toshiaki Otomo
11.[O] Making standard ML a practical database programming language.[Proceedings of ACM International Conference on Functional Programming (ICFP),(2011),307-319]Atsushi Ohori, Katsuhiro Ueno
12.[O] SML#の外部関数インターフェース.[日本ソフトウェア科学会論文誌「コンピュータソフトウェア」,27(2),(2010),142-168]Katsuhiro Ueno, Atsushi Ohori
13.[B] ライブラリ 情報学 コア・テキスト 5 計算機システム概論 -基礎から学ぶコンピュータの原理とOSの構造-.[サイエンス社,(2010)]Atsushi Ohori
14.[O] A Flattening Approach for ML Module Compilation and Implementation.[JSSST Journal Computer Software,26(3),(2009),136-154]Liu Bochao, Atsushi Ohori
15.[R] SML#:最先端の機能と高い実用性を実現する次世代多相型プログラミング言語.[情報処理学会 情報処理,49(11), (2008), 1246-1250]大堀 淳
16.[O] 制御フローの合流のための計算系.[情報処理学会論文誌「プログラミング(PRO)」,1(3),(2008),19-33]Katsuhiro Ueno, Atsushi Ohori
17.[O] 型代入を遅延する最適化型推論アルゴリズム.[日本ソフトウェア科学会論文誌「コンピュータソフトウェア」,25(2),(2008),101-113]Katsuhiro Ueno, Atsushi Ohori
18.[O] A proof theory for machine code.[ACM Transactions on Programming Languages Systtems,29(6),(2007)]Atsushi Ohori
19.[O] A static type system for JVM access control.[ACM Transactions on Programming Languages and Systems,29(1),(2007)]Tomoyuki Higuchi, Atsushi Ohori
20.[O] Lightweight fusion by fixed point promotion.[Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages,(2007),143-154]Atsushi Ohori, Isao Sasano
Page: [1] [2] [3] [4] [next]
copyright(c)2005 Tohoku University