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: Muroya:Koko
Contributed to:
2014
2017
2016Wrote 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.