Original Papers- Atsushi Ohori -
number of results to view: what to display: sort:
total:58
[2016]
1.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.A Type Safe Access to Key-value Stores from Functional Languages.[Journal of Information Processing,24(1),(2016),141-151]Katsuhiro Ueno, Atsushi Ohori
[2015]
3.変数参照関係を用いた関数型プログラムのコードリーディング支援.[コンピュータソフトウェア,32(1),(2015),194-212]遠藤誠典, 百足勇人, 森畑明昌, 上野雄大, 大堀淳
[2014]
4.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.Dynamic Programming via Thinning and Incrementalization.[International Symposium on Functional and Logic Programming (FLOPS),(2014),186-202]Akimasa Morihata, Masato Koishi, Atsushi Ohori
6.The Essence of Ruby.[Asian Symposium on Programming Languages and Systems (APLAS),(2014),78-98]Katsuhiro Ueno, Yutaka Fukasawa, Akimasa Morihata, Atsushi Ohori
[2012]
7.多相レコード計算に基づく軽量な第一級オーバーロードの設計と実装.[コンピュータソフトウェア,29(1),(2012),191-210]上野雄大,大堀淳
8.SML#へのC言語の埋め込み.[コンピュータ ソフトウェア,29(2),(2012),193-203]篠埜 功, 大堀 淳
[2011]
9.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
10.1145/2034773.2034802
10.Making standard ML a practical database programming language.[Proceedings of ACM International Conference on Functional Programming (ICFP),(2011),307-319]Atsushi Ohori, Katsuhiro Ueno
10.1145/2034773.2034815
[2010]
11.SML#の外部関数インターフェース.[日本ソフトウェア科学会論文誌「コンピュータソフトウェア」,27(2),(2010),142-168]Katsuhiro Ueno, Atsushi Ohori
[2009]
12.A Flattening Approach for ML Module Compilation and Implementation.[JSSST Journal Computer Software,26(3),(2009),136-154]Liu Bochao, Atsushi Ohori
[2008]
13.制御フローの合流のための計算系.[情報処理学会論文誌「プログラミング(PRO)」,1(3),(2008),19-33]Katsuhiro Ueno, Atsushi Ohori
14.型代入を遅延する最適化型推論アルゴリズム.[日本ソフトウェア科学会論文誌「コンピュータソフトウェア」,25(2),(2008),101-113]Katsuhiro Ueno, Atsushi Ohori
[2007]
15.A proof theory for machine code.[ACM Transactions on Programming Languages Systtems,29(6),(2007)]Atsushi Ohori
16.A static type system for JVM access control.[ACM Transactions on Programming Languages and Systems,29(1),(2007)]Tomoyuki Higuchi, Atsushi Ohori
17.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
18.表示的意味論に基づくパターンマッチングコンパイル方式の構築と実装.[コンピュータソフトウエア,24(2),(2007),113-132]大堀 淳, 纓坂 智
[2006]
19.Compiling ML polymorphism with explicit layout bitmap.[Proceedings of the 8th ACM SIGPLAN symposium on Principles and practice of declarative programming,(2006),237-248]Huu-Duc Nguyen, Atsushi Ohori
20.A type system equivalent to static single assignment.[Proceedings of the 8th ACM SIGPLAN symposium on Principles and practice of declarative programming,(2006),249-260]Yutaka Matsuno, Atsushi Ohori
Page: [1] [2] [3] [next]
BackTop
copyright(c)2005 Tohoku University