Katsuhiro Ueno

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