Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Takahiro Sanada
Observed names:
Sanada, Takahiro,
TAKAHIRO SANADA
Institution:
Fukui Prefectural University
Observed institutions:
Kyoto University,
Research Institute for Mathematical Sciences, Kyoto University,
Fukui Prefectural University
ORCID:
0000-0003-3409-6963
Observed ORCID:
0000-0003-3409-6963
OpenAlex ID:
A5102431340
Algebraic effects and handlers for arrows
2024
·
TAKAHIRO SANADA
·
Journal of Functional Programming
·
4
PDF
Category-Graded Algebraic Theories and Effect Handlers
2023
·
Takahiro Sanada
·
Electronic Notes in Theoretical Informatics and Computer Science
·
3
PDF
A Coalgebraic Dijkstra Algorithm
2026
·
Sanada, Takahiro
, Montacute, Yoàv
, et al.
·
arXiv (Cornell University)
·
1
PDF
Preorder-Constrained Simulations for Program Refinement with Effects
2024
·
Koko Muroya
, Takahiro Sanada
, et al.
·
Lecture notes in computer science
·
1
Explicit Hopcroft’s Trick in Categorical Partition Refinement
2024
·
Takahiro Sanada
, Ryota Kojima
, et al.
·
Lecture notes in computer science
·
1
PDF
Programming Backpropagation with Reverse Handlers for Arrows
2026
·
Takahiro Sanada
, Keisuke Hoshino
, et al.
·
Proceedings of the ACM on Programming Languages
A Coalgebraic Dijkstra Algorithm (Invited Talk)
2026
·
Sanada, Takahiro
, Montacute, Yoàv
, et al.
·
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)
PDF
Preorder-Constrained Simulation for Nondeterministic Automata (Early Ideas)
2021
·
Muroya, Koko
, Sanada, Takahiro
, et al.
·
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)
PDF
Show more works
View as search
Works count:
8
Citation count:
10
H-index:
2
I10-index:
Year
Topic
Type
