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]
No references recorded for this publication.
No citations of this publication recorded.