| 研究実績の概要 |
The project was completed by Mar 31, 2020 (see that year's final report for the summary of the results). However, because of COVID-19 epidemic, I could not present all of the results: many of the conferences and other meetings were postponed or cancelled. The situation has not improved in 2020, and so the travel funds mostly remained unused and had to be postponed again.
I did attend a couple of meetings online and published a paper in J.Functional Programming (see the publication page). With a student we have been applying tagless-final approach to a high-performance stream library (preliminary results were presented at JSSST annual meeting).
|
