Fukui Prefectural University · Information Center · 助教

Research keywords型システム・圏論・エフェクトハンドラ・余代数・プログラミング言語理論・プログラム意味論・代数的エフェクト・システム検証

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• 主要なもの2024 · 2. Takahiro Sanada. Algebraic effects and handlers for arrows. Ph.D. thesis. Kyoto University. 2024.
• 3. Takahiro Sanada. Category-Graded Algebraic Theories and Effect Handlers. MFPS2022.2022
• Algebraic effects and handlers for arrows
• Algebraic effects and handlers for arrows

• 実世界応用のための圏論的代数と余代数の研究
• 圏論に基づいた高信頼プログラミング言語の基礎理論と応用

• Official profile