Yuichi Nishiwaki
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2018–2023
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ESOP | Contextual Modal Type Theory with Polymorphic Contexts. | Yuito Murase, Yuichi Nishiwaki, Atsushi Igarashi |
| 2020 | VEE | A robust and flexible operating system compatibility architecture. | Takaya Saeki, Yuichi Nishiwaki, Takahiro Shinagawa, Shinichi Honiden |
| 2018 | APLAS | Non-linear Pattern Matching with Backtracking for Non-free Data Types. | Satoshi Egi, Yuichi Nishiwaki |