Koko Muroya

According to our database, Koko Muroya authored at least 16 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Term Evaluation Systems with Refinements: First-Order, Second-Order, and Contextual Improvement.

Koko Muroya, Makoto Hamana

Proceedings of the Functional and Logic Programming - 17th International Symposium, 2024

Explicit Hopcroft's Trick in Categorical Partition Refinement.

Takahiro Sanada, Ryota Kojima, Yuichi Komorida, Koko Muroya, Ichiro Hasuo

Proceedings of the Coalgebraic Methods in Computer Science, 2024

Preorder-Constrained Simulations for Program Refinement with Effects.

Koko Muroya, Takahiro Sanada, Natsuki Urabe

Proceedings of the Coalgebraic Methods in Computer Science, 2024

Coalgebraic CTL: Fixpoint Characterization and Polynomial-Time Model Checking.

Ryota Kojima, Corina Cîrstea, Koko Muroya, Ichiro Hasuo

Proceedings of the Coalgebraic Methods in Computer Science, 2024

2021

Transparent Synchronous Dataflow.

Steven W. T. Cheung, Dan R. Ghica, Koko Muroya

Art Sci. Eng. Program., 2021

Preorder-Constrained Simulation for Nondeterministic Automata (Early Ideas).

Koko Muroya, Takahiro Sanada, Natsuki Urabe

Proceedings of the 9th Conference on Algebra and Coalgebra in Computer Science, 2021

2020

Hypernet semantics of programming languages.

Koko Muroya

PhD thesis, 2020

2019

The Dynamic Geometry of Interaction Machine: A Token-Guided Graph Rewriter.

Koko Muroya, Dan R. Ghica

Log. Methods Comput. Sci., 2019

Local Reasoning for Robust Observational Equivalence.

Dan R. Ghica, Koko Muroya, Todd Waugh Ambridge

CoRR, 2019

2018

The Geometry of Computation-Graph Abstraction.

Koko Muroya, Steven W. T. Cheung, Dan R. Ghica

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

A Functional Perspective on Machine Learning via Programmable Induction and Abduction.

Steven Cheung, Victor Darvariu, Dan R. Ghica, Koko Muroya, Reuben N. S. Rowe

Proceedings of the Functional and Logic Programming - 14th International Symposium, 2018

2017

Efficient Implementation of Evaluation Strategies via Token-Guided Graph Rewriting.

Koko Muroya, Dan R. Ghica

Proceedings of the Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation, 2017

Abductive functional programming, a semantic approach.

Koko Muroya, Steven Cheung, Dan R. Ghica

CoRR, 2017

The Dynamic Geometry of Interaction Machine: A Call-by-Need Graph Rewriter.

Koko Muroya, Dan R. Ghica

Proceedings of the 26th EACSL Annual Conference on Computer Science Logic, 2017

2016

Memoryful geometry of interaction II: recursion and adequacy.

Koko Muroya, Naohiko Hoshino, Ichiro Hasuo

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

2014

Memoryful geometry of interaction: from coalgebraic components to algebraic effects.

Naohiko Hoshino, Koko Muroya, Ichiro Hasuo

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014