Naohiko Hoshino
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
5
Active years
2007–2025
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | FSCD | On the Metric Nature of (Differential) Logical Relations. | Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone |
| 2023 | FSCD | On the Lattice of Program Metrics. | Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone |
| 2019 | LICS | The Geometry of Bayesian Programming. | Ugo Dal Lago, Naohiko Hoshino |
| 2016 | POPL | Memoryful geometry of interaction II: recursion and adequacy. | Koko Muroya, Naohiko Hoshino, Ichiro Hasuo |
| 2014 | CSL | Memoryful geometry of interaction: from coalgebraic components to algebraic effects. | Naohiko Hoshino, Koko Muroya, Ichiro Hasuo |
| 2012 | LICS | Step Indexed Realizability Semantics for a Call-by-Value Language Based on Basic Combinatorial Objects. | Naohiko Hoshino |
| 2011 | FOSSACS | A Modified GoI Interpretation for a Linear Functional Programming Language and Its Adequacy. | Naohiko Hoshino |
| 2011 | LICS | Semantics of Higher-Order Quantum Computation via Geometry of Interaction. | Ichiro Hasuo, Naohiko Hoshino |
| 2007 | CSL | Linear Realizability. | Naohiko Hoshino |