Hiromi Ishii
Orcid: 0000-0002-7752-1782
According to our database1,
Hiromi Ishii
authored at least 5 papers
between 2015 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
Functional Pearl: Witness Me - Constructive Arguments Must Be Guided with Concrete Witness.
CoRR, 2021
CoRR, 2021
Automatic Differentiation with Higher Infinitesimals, or Computational Smooth Infinitesimal Analysis in Weil Algebra.
Proceedings of the Computer Algebra in Scientific Computing - 23rd International Workshop, 2021
2018
Proceedings of the Computer Algebra in Scientific Computing - 20th International Workshop, 2018
2015
Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, 2015