Hiromi Ishii

According to our database, Hiromi Ishii authored at least 5 papers between 2015 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2021

Functional Pearl: Witness Me - Constructive Arguments Must Be Guided with Concrete Witness.

Hiromi Ishii

CoRR, 2021

A Succinct Multivariate Lazy Multivariate Tower AD for Weil Algebra Computation.

Hiromi Ishii

CoRR, 2021

Automatic Differentiation with Higher Infinitesimals, or Computational Smooth Infinitesimal Analysis in Weil Algebra.

Hiromi Ishii

Proceedings of the Computer Algebra in Scientific Computing - 23rd International Workshop, 2021

2018

A Purely Functional Computer Algebra System Embedded in Haskell.

Hiromi Ishii

Proceedings of the Computer Algebra in Scientific Computing - 20th International Workshop, 2018

2015

Freer monads, more extensible effects.

Oleg Kiselyov, Hiromi Ishii

Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, 2015