Freer monads, more extensible effects. - Oleg Kiselyov; Hiromi Ishii (Haskell, 2015)

A Purely Functional Computer Algebra System Embedded in Haskell. - Hiromi Ishii (CASC, 2018)

Automatic Differentiation with Higher Infinitesimals, or Computational Smooth Infinitesimal Analysis in Weil Algebra. - Hiromi Ishii (CASC, 2021)

A Succinct Multivariate Lazy Multivariate Tower AD for Weil Algebra Computation. - Hiromi Ishii (CoRR, 2021)

Functional Pearl: Witness Me - Constructive Arguments Must Be Guided with Concrete Witness. - Hiromi Ishii (CoRR, 2021)

Optimizing Optimizations: Case Study on Detecting Specific Types of Mathematical Optimization Constraints with E-Graphs in JijModeling. - Hiromi Ishii; Taro Shimizu; Toshiki Teramura (CoRR, 2025)