Intrinsically-Typed Interpreters for Effectful and Coeffectful Languages

Publication Information

Title

Japanese:
English:	Intrinsically-Typed Interpreters for Effectful and Coeffectful Languages

Author

Japanese:	Syouki Tsuyama, 叢悠悠, 増原英彦.
English:	Syouki Tsuyama, Youyou Cong, Hidehiko Masuhara.

Language

English

Journal/Book name

Japanese:
English:

Volume, Number, Page

Published date

Jan. 2022

Publisher

Japanese:
English:

Conference name

Japanese:
English:	First Workshop on the Implementation of Type Systems (WITS 2022)

Conference site

Japanese:
English:	Philadelphia, PA