Original Papers- Atsushi Ohori -
number of results to view: what to display: sort:
total:64
[2018]
1.関数型言語SML#のためのネイティブコードレベルデバッグ環境の実現方式.[情報処理学会論文誌プログラミング(PRO),11(3),(2018),1-13]大野一樹, 上野雄大, 大堀 淳
2.Finitary Polymorphism for Optimizing Type-Directed Compilation.[Proceedings of the ACM on Programming Languages,Volume 2, Issue ICFP(Article No. 81),(2018),81:1-81:28]Atsushi Ohori, Katsuhiro Ueno, Hisayuki Mima
3.部分動的レコードを活用した型付きテンプレートエンジンの実現.[コンピュータソフトウェア,35(3),(2018),79-95]逢坂美冬, 上野雄大, 大堀 淳
[2016]
4.A fully concurrent garbage collector for functional programs on multicore processors.[Proceedings of the ACM International Conference on Functional Programming (ICFP),(2016),421-433]Katsuhiro Ueno, Atsushi Ohori
5.A foreign language interface from ML to shell.[New Generation Computing,34(3),(2016),239-256]Katsuhiro Ueno, Atsushi Ohori
6.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
7.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]
8.変数参照関係を用いた関数型プログラムのコードリーディング支援.[コンピュータソフトウェア,32(1),(2015),194-212]遠藤誠典, 百足勇人, 森畑明昌, 上野雄大, 大堀淳
[2014]
9.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
10.The Essence of Ruby.[Asian Symposium on Programming Languages and Systems (APLAS),(2014),78-98]Katsuhiro Ueno, Yutaka Fukasawa, Akimasa Morihata, Atsushi Ohori
11.Dynamic Programming via Thinning and Incrementalization.[International Symposium on Functional and Logic Programming (FLOPS),(2014),186-202]Akimasa Morihata, Masato Koishi, Atsushi Ohori
[2013]
12.Record Polymorphism: Its Development and Applications.[Search of Elegance in the Theory and Practice of Computation, Lecture Notes in Computer Science Volume 8000,(2013),432-444]Atsushi Ohori
[2012]
13.多相レコード計算に基づく軽量な第一級オーバーロードの設計と実装.[コンピュータソフトウェア,29(1),(2012),191-210]上野雄大,大堀淳
14.SML#へのC言語の埋め込み.[コンピュータ ソフトウェア,29(2),(2012),193-203]篠埜 功, 大堀 淳
[2011]
15.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
16.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]
17.SML#の外部関数インターフェース.[日本ソフトウェア科学会論文誌「コンピュータソフトウェア」,27(2),(2010),142-168]Katsuhiro Ueno, Atsushi Ohori
[2009]
18.A Flattening Approach for ML Module Compilation and Implementation.[JSSST Journal Computer Software,26(3),(2009),136-154]Liu Bochao, Atsushi Ohori
[2008]
19.制御フローの合流のための計算系.[情報処理学会論文誌「プログラミング(PRO)」,1(3),(2008),19-33]Katsuhiro Ueno, Atsushi Ohori
20.型代入を遅延する最適化型推論アルゴリズム.[日本ソフトウェア科学会論文誌「コンピュータソフトウェア」,25(2),(2008),101-113]Katsuhiro Ueno, Atsushi Ohori
Page: [1] [2] [3] [4] [next]
BackTop
copyright(c)2005 Tohoku University