External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Sound and Complete Type Inference for Closed Effect Rows

Kazuki Ikemori, Youyou Cong, Hidehiko Masuhara, Daan Leijen. Sound and Complete Type Inference for Closed Effect Rows. In Wouter Swierstra, Nicolas Wu, editors, Trends in Functional Programming - 23rd International Symposium, TFP 2022, Virtual Event, March 17-18, 2022, Revised Selected Papers. Volume 13401 of Lecture Notes in Computer Science, pages 144-168, Springer, 2022. [doi]

Authors

Kazuki Ikemori

This author has not been identified. Look up 'Kazuki Ikemori' in Google

Youyou Cong

This author has not been identified. Look up 'Youyou Cong' in Google

Hidehiko Masuhara

This author has not been identified. Look up 'Hidehiko Masuhara' in Google

Daan Leijen

This author has not been identified. Look up 'Daan Leijen' in Google
runs on