EVENT

ERATO Project Colloquium by Takahiro Sanada, Kyoto University, will be held on Sep. 6th

Theme of the talk:

Category-Graded Effect System and Algebraic Theory

Speaker:

Takahiro Sanada
Ph.D. student at Computer Science Group, RIMS, Kyoto University

Time/Date:

16:30-　/　Tuesday, September 6th, 2022

Place:

Online
If you would like to attend, please register through the following Google form:
https://forms.gle/6PoGNEfJVHLYDAdKA
A zoom link will be sent to you via e-mail. (using BCC).

Abstract:

This talk is based on the one I talked at MFPS 2022.
We provide an effect system CatEff based on a category-graded extension of algebraic theories that correspond to category-graded monads. CatEff has category-graded operations and handlers.
Effects in CatEff are graded by morphisms of the grading category. Grading morphisms represent fine structures of effects such as dependencies or sorts of states. Handlers in CatEff are regarded as an implementation of category-graded effects.
We define the notion of category-graded algebraic theory to give semantics of CatEff and prove soundness and adequacy. We also give an example using category-graded effects to express protocols for sending receiving typed data.

Link:

For the latest information about ERATO colloquium / seminar, please visit the web.
https://docs.google.com/document/d/1Qrg4c8XDkbO3tmns6tQwxn5lGHOrBON5LtHXXTpXDeA/edit?usp=sharing

Contact:

Clovis Eberhart (ERATO MMSD Colloquium Organizer)
Email: eberhart [at] nii.ac.jp