Katsuhiro Ueno

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 8

Top Topics

Functional Programs

Expressive Power

Functional Language

Top Venues

Proc. ACM Program. Lang.

Publications

Katsuhiro Ueno
SML#: Toward the Ideal Interoperability between Languages and Systems (Keynote). Programming (2023)
Katsuhiro Ueno, Atsushi Ohori
Concurrent and parallel garbage collection for lightweight threads on multicore processors. ISMM (2022)
Atsushi Ohori, Katsuhiro Ueno
A Compilation Method for Dynamic Typing in ML. APLAS (2021)
Atsushi Ohori, Katsuhiro Ueno, Hisayuki Mima
Finitary polymorphism for optimizing type-directed compilation. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Katsuhiro Ueno, Atsushi Ohori
A fully concurrent garbage collector for functional programs on multicore processors. ICFP (2016)
Katsuhiro Ueno, Atsushi Ohori
A Type Safe Access to Key-value Stores from Functional Languages. J. Inf. Process. 24 (1) (2016)
Katsuhiro Ueno, Atsushi Ohori
A Foreign Language Interface from ML to Shell. New Gener. Comput. 34 (3) (2016)
Atsushi Ohori, Katsuhiro Ueno, Tomohiro Sasaki, Daisuke Kikuchi
A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects. ECOOP (2016)
Atsushi Ohori, Katsuhiro Ueno, Kazunori Hoshi, Shinji Nozaki, Takashi Sato, Tasuku Makabe, Yuki Ito
SML# in industry: a practical ERP system development. ICFP (2014)
Katsuhiro Ueno, Yutaka Fukasawa, Akimasa Morihata, Atsushi Ohori
The Essence of Ruby. APLAS (2014)
Atsushi Ohori, Katsuhiro Ueno
Making standard ML a practical database programming language. ICFP (2011)
Katsuhiro Ueno, Atsushi Ohori, Toshiaki Otomo
An efficient non-moving garbage collector for functional languages. ICFP (2011)