Travelled to:1 × Austria
1 × Canada
1 × Croatia
1 × Germany
1 × Switzerland
Collaborated with:∅ I.Hasuo K.Muroya
Talks about:interact (3) geometri (3) adequaci (2) languag (2) semant (2) realiz (2) memory (2) linear (2) combinatori (1) interpret (1)
Person: Naohiko Hoshino
DBLP: Hoshino:Naohiko
Contributed to:
20142012
20112011
2007
2016Wrote 6 papers:
- LICS-CSL-2014-HoshinoMH #algebra #component #geometry #interactive
- Memoryful geometry of interaction: from coalgebraic components to algebraic effects (NH, KM, IH), p. 10.
- LICS-2012-Hoshino #call-by #combinator #semantics
- Step Indexed Realizability Semantics for a Call-by-Value Language Based on Basic Combinatorial Objects (NH), pp. 385–394.
- FoSSaCS-2011-Hoshino #functional #linear #programming language
- A Modified GoI Interpretation for a Linear Functional Programming Language and Its Adequacy (NH), pp. 320–334.
- LICS-2011-HasuoH #geometry #higher-order #interactive #quantum #semantics
- Semantics of Higher-Order Quantum Computation via Geometry of Interaction (IH, NH), pp. 237–246.
- CSL-2007-Hoshino #linear
- Linear Realizability (NH), pp. 420–434.
- POPL-2016-MuroyaHH #geometry #interactive #recursion
- Memoryful geometry of interaction II: recursion and adequacy (KM, NH, IH), pp. 748–760.