BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Hoshino:Naohiko

Contributed to:

CSL-LICS 20142014
LICS 20122012
FOSSACS 20112011
LICS 20112011
CSL 20072007
POPL 20162016

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.