C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Hiromi Ishii
ORCID
Publication Activity (10 Years)
Years Active: 2015-2021
Publications (10 Years): 7
Top Topics
Computer Algebra
Semi Automatic
Multivariate Data
Functional Language
Top Venues
CoRR
CASC
Haskell
</>
Publications
</>
Hiromi Ishii
Functional Pearl: Witness Me - Constructive Arguments Must Be Guided with Concrete Witness.
CoRR
(2021)
Hiromi Ishii
Automatic Differentiation With Higher Infinitesimals, or Computational Smooth Infinitesimal Analysis in Weil Algebra.
CoRR
(2021)
Hiromi Ishii
A Succinct Multivariate Lazy Multivariate Tower AD for Weil Algebra Computation.
CoRR
(2021)
Hiromi Ishii
Automatic Differentiation with Higher Infinitesimals, or Computational Smooth Infinitesimal Analysis in Weil Algebra.
CASC
(2021)
Hiromi Ishii
A Purely Functional Computer Algebra System Embedded in Haskell.
CASC
(2018)
Hiromi Ishii
A Purely Functional Computer Algebra System Embedded in Haskell.
CoRR
(2018)
Oleg Kiselyov
,
Hiromi Ishii
Freer monads, more extensible effects.
Haskell
(2015)