Algebraic effects and handlers for arrows / アローに対する代数的エフェクトとハンドラ

Description

京都大学 / 新制・課程博士 / 博士(理学) / 甲第25094号 / 理博第5001号 / 京都大学大学院理学研究科数学・数理解析専攻 / (主査)教授 長谷川 真人, 教授 大木谷 耕司, 准教授 照井 一成 / 学位規則第4条第1項該当 / Doctor of Science / Kyoto University / DFAM

Links & Downloads

1. http://hdl.handle.net/2433/288528
2. 10.14989/doctor.k25094
3. 14301

Tags

algebraic effect

effect handler

arrow

promonad

categorical semantics

400

Additional Fields

Identifer	oai:union.ndltd.org:kyoto-u.ac.jp/oai:repository.kulib.kyoto-u.ac.jp:2433/288528
Date	25 March 2024
Creators	Sanada, Takahiro
Contributors	サナダ, タカヒロ
Publisher	Kyoto University, 京都大学
Source Sets	Kyoto University
Language	English
Detected Language	English
Type	doctoral thesis, Thesis or Dissertation