Sound and Complete Type Inference for Closed Effect Rows

Publication Information

Title

Japanese:
English:	Sound and Complete Type Inference for Closed Effect Rows

Author

Japanese:	叢悠悠, 増原英彦, Daan Leijen.
English:	Youyou Cong, Hidehiko Masuhara, Daan Leijen.

Language

English

Journal/Book name

Japanese:
English:

Volume, Number, Page

Published date

Mar. 17, 2022

Publisher

Japanese:
English:

Conference name

Japanese:
English:	International Symposium on Trends in Functional Programming (TFP 2022)

Conference site

Japanese:
English: