Takahiro Sanada

According to our database, Takahiro Sanada authored at least 6 papers between 2018 and 2024.

Collaborative distances:

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

2024

Algebraic effects and handlers for arrows.

Takahiro Sanada

J. Funct. Program., 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

2022

Category-Graded Algebraic Theories and Effect Handlers.

Takahiro Sanada

Proceedings of the 38th Conference on the Mathematical Foundations of Programming Semantics, 2022

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

2018

Online Detection of Real-World Faces in ECoG Signals.

Christoph Kapeller, Johannes Gruenwald, Kyousuke Kamada, Hiroshi Ogawa, Shusei Fukuyama, Takahiro Sanada, Robert Prückl, Christoph Guger

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018