BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
Collaborated with:
N.Hoshino I.Hasuo D.R.Ghica
Talks about:
interact (3) geometri (3) memory (2) coalgebra (1) adequaci (1) algebra (1) rewrit (1) recurs (1) machin (1) effect (1)

Person: Koko Muroya

DBLP DBLP: Muroya:Koko

Contributed to:

CSL-LICS 20142014
CSL 20172017
POPL 20162016

Wrote 3 papers:

LICS-CSL-2014-HoshinoMH #algebra #component #geometry #interactive
Memoryful geometry of interaction: from coalgebraic components to algebraic effects (NH, KM, IH), p. 10.
CSL-2017-MuroyaG #call-by #geometry #graph grammar #interactive
The Dynamic Geometry of Interaction Machine: A Call-by-Need Graph Rewriter (KM, DRG), p. 15.
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.